IDEs Support (IntelliJ Platform) | JetBrains

Jem

Total activity 2
Last activity December 28, 2015 22:35
Member since December 28, 2015 22:35
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 0

Jem commented, December 28, 2015 22:35
Yes, uncommented those lines & they didn't take effect. Strange corporate policy stuff is afoot I think.
- 0 votes
Jem commented, December 28, 2015 22:35
I changed the values *and* copied the idea.properties from $IDE_HOME/bin to $HOME. Neither seems to have had an effect. v13.0.2-IC
- 0 votes