IDEs Support (IntelliJ Platform) | JetBrains

H Las

Total activity 3
Last activity August 20, 2018 15:00
Member since August 15, 2018 13:27
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Edited August 20, 2018 15:00

Aha, thank you... In which case, I think there is a bug in the way the preferences search box works. If you search for "block", the "Other" tab of that screen is *not* highlighted. Searching for o...
- 0 votes