Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
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
Activity overview
Posts (1)
Comments (3)
Sort by votes
Recent activity
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...
Community
IntelliJ IDEA Users
I miss "Essential" syntax and problem highlighting from options or i can't find it.
1 vote
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.
Community
IntelliJ IDEA Users
Gutter width/line numbers?
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 ...
Community
IntelliJ IDEA Users
I miss "Essential" syntax and problem highlighting from options or i can't find it.
0 votes