Re:Ubuntu 18.04: Unity is gone, Gnome is back, and Ubuntu ha...
by benjaminjackman on Thursday May 10, 2018 @10:35AM
(#17039181)
This isn't a solution but `a just in case you are not aware` You can press alt+right click and hold then drag near the corner of the window to resize it (alt+left drag moves it).
I understand that there are times when that isn't work so it's nice to have both options. ( I wrote a browser based windowing system and have experimented with having the bezels on the windows be quite large and/or auto-expanding when the mouse nears them to make resizes as easy as possible since hard to hit pixel thing annoys me so much)
I understand that there are times when that isn't work so it's nice to have both options. ( I wrote a browser based windowing system and have experimented with having the bezels on the windows be quite large and/or auto-expanding when the mouse nears them to make resizes as easy as possible since hard to hit pixel thing annoys me so much)