IDEs Support (IntelliJ Platform) | JetBrains

Robert Huffman

Total activity 21
Last activity March 23, 2021 14:03
Member since June 16, 2017 16:58
Following 0 users
Followed by 0 users
Votes 17
Subscriptions 2

Robert Huffman commented, February 14, 2020 17:37
This is broken again. The setting in idea.properties no longer works for me, at least in 2019.3. I'm on a Mac. This is the content of $HOME/Library/Preferences/IntelliJIdea2019.3/idea.properties # ...
- 2 votes
Robert Huffman commented, June 16, 2017 16:58
Thanks for the ability to revert. I also find the new dialog more annoying than helpful. I like the different options for scoping, but other than that I agree with the problems everyone else has wi...
- 0 votes