IDEs Support (IntelliJ Platform) | JetBrains

Smolek Martin

Total activity 9
Last activity May 07, 2024 08:33
Member since April 02, 2023 05:57
Following 0 users
Followed by 0 users
Votes 3
Subscriptions 2

Created May 07, 2024 08:33

Is there any way after those years to make the gutter bar thinner e.g. by wrapping icons or letting icons to replace a number? Now most of the gutter bar width is placeholder for something else.
- 0 votes
Created December 06, 2023 14:45

@Olga Mulina , alright. Hopefully feature is going to get green-lighted soon. If may i add, it seem that essential mode doesn't really work as you described here: The option becomes enabled ...
- 0 votes
Created December 04, 2023 17:05

Thank you for reply Olga Mulina . It'll be appreciated when option is added. In meantime , can you please describe how is the Essential highlight activated automatically in more details? Li...
- 1 vote