Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in

ndd dipiazza

Avatar
  • 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...
    1. Community
    2. PyCharm
    3. how do I do change the file manager?
    • 1 vote
  • Created July 11, 2022 12:04
    moderator - that comment looks like a bot.
    1. Community
    2. IntelliJ IDEA Users
    3. Can you get Code Coverage of only the changes in your Pull Request?
    • 0 votes
Copyright © 2000– JetBrains s.r.o.