IDEs Support (IntelliJ Platform) | JetBrains

Roger Erens

Total activity 4
Last activity October 31, 2016 23:23
Member since September 22, 2011 13:40
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Roger Erens commented, October 31, 2016 23:23
@Serge:Thanks for the quick reply. Maybe you should put that link and the warning "Don't edit files inside IDEA_HOME." at the top of this page?
- 0 votes
Roger Erens commented, October 31, 2016 23:12
When updating, the updater finds a problem, with the only solution to either replace or ignore the file bin/idea.properties (see image). If I select replace, I'll lose my adaptations. If I select i...
- 0 votes
Roger Erens created a post, September 22, 2011 13:40
How to move search bar to bottom of editor?

I couldn't find in the settings or on the web if and how it is possible to move the search bar to a less obtrusive place: right now, when pressing F3, all the source code is moved 1 line down. And ...
1. Community
2. IntelliJ IDEA Users
- 2 followers
- 1 comment
- 1 vote