IDEs Support (IntelliJ Platform) | JetBrains

Edgar Castillo

Total activity 4
Last activity August 09, 2021 13:30
Member since July 19, 2021 07:50
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 0

Edgar Castillo commented, August 09, 2021 13:30
Hi Andriy, I'm in distraction mode and setting the margin to 0 did the trick. Thanks for that! I would still prefer just moving it with my mouse, but this does help.
- 2 votes
Edgar Castillo commented, August 09, 2021 10:46
Attaching two images 1. Normal view on a wide screen 2. Zooming into text eliminates or reduces the gutter size, but now we're just swapping one problem for another
- 0 votes
Edgar Castillo commented, July 19, 2021 07:53
Found this problem goes back to 2016! I'm proposing making the gutter draggable so one can resize to one's liking.
- 0 votes