I have to struggle with the mouse cursor, to grab the exact window edge or corner pixel in order to resize. The bandwith of how far the mouse can be from the exact window edge feels like less than three pixels, which is unpleasantly low.
How to I increase that draggable area?
Preferrably without necessarily altering the window borders.
Alt+Space, Rfor resize, then you just start pressing the arrow keys in the direction you want to grow. – Terrance Apr 23 '18 at 16:45NOX-theme, there are some other glitches though, in some cases text and background don't have much contrast, but only a few cases... – mook765 Apr 23 '18 at 16:59