on desktop, since I can afford to lose the height, and it's useful once I've learned to look at it. Even clicking on it is sometimes helpful! (I know, using a mouse? Ridiculous!)
Since I use Pixel Saver GNOME plugin, to gain that height back, I also need to set:
otherwise the title bar doesn't disappear in maximized windows.
I have never used the menu bar with the mouse anyway, I just use Alt-F to get to File and go from there. I don't like the custom one anyway.
Finally, and this may sound insane to some, I have
"editor.renderWhitespace":"boundary",
at all times.
It's useful for multiple spaces in regexes, literal TABs, and other little anomalies such as visible trailing spaces notifying me that I should Ctr-S to format first before copypasting my code to avoid embarrassing myself.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
I also have
on desktop, since I can afford to lose the height, and it's useful once I've learned to look at it. Even clicking on it is sometimes helpful! (I know, using a mouse? Ridiculous!)
Since I use Pixel Saver GNOME plugin, to gain that height back, I also need to set:
otherwise the title bar doesn't disappear in maximized windows.
I have never used the menu bar with the mouse anyway, I just use
Alt-F
to get to File and go from there. I don't like the custom one anyway.Finally, and this may sound insane to some, I have
at all times.
It's useful for multiple spaces in regexes, literal TABs, and other little anomalies such as visible trailing spaces notifying me that I should
Ctr-S
to format first before copypasting my code to avoid embarrassing myself.