Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
ndd dipiazza
Total activity
5
Last activity
July 11, 2022 12:04
Member since
January 05, 2021 07:10
Following
0 users
Followed by
0 users
Votes
0
Subscriptions
2
Activity overview
Posts (1)
Comments (2)
Sort by recent activity
Recent activity
Votes
Edited
January 05, 2021 07:11
It chooses the xdg-mime default. So you if want to change it, you have to change it there. So for example, you want to change from "Files.desktop" to "caja.desktop" xdg-mime default caja.desktop in...
Community
PyCharm
how do I do change the file manager?
1 vote
Created
July 11, 2022 12:04
moderator - that comment looks like a bot.
Community
IntelliJ IDEA Users
Can you get Code Coverage of only the changes in your Pull Request?
0 votes