Smolek Martin

创建于 2024年05月07日 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.  

1. 社区
2. IntelliJ IDEA Users
3. Gutter width/line numbers?

• 0 票

创建于 2023年12月06日 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 ...

1. 社区
2. IntelliJ IDEA Users
3. I miss "Essential" syntax and problem highlighting from options or i can't find it.

• 0 票

创建于 2023年12月04日 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. 社区
2. IntelliJ IDEA Users
3. I miss "Essential" syntax and problem highlighting from options or i can't find it.

• 1 票