On 2015-01-10, Fred Smith fredex@fcshome.stoneham.ma.us wrote:
On Sat, Jan 10, 2015 at 01:12:27PM +0000, Liam O'Toole wrote:
On 2015-01-10, Leon Fauster leonfauster@googlemail.com wrote:
Am 10.01.2015 um 01:56 schrieb Fred Smith fredex@fcshome.stoneham.ma.us:
On Sat, Jan 10, 2015 at 12:12:14AM +0000, Liam O'Toole wrote:
Have you tried different window manager themes? Some of them have larger grab areas.
Which makes me wonder how one modifies a theme... there must be a special toolkit for it somewhere... ??
System -> Preferences -> Appearance
I think Fred is talking about modifying a theme in the sense of customising it.
To Fred: I'm not aware of a toolkit for the purpose. People just hack the gtkrc or xml files which comprise a theme. There are lots of examples under /usr/share/themes/.
ah, thanks!
I found the way, as described above, to choose a different border style, which solves my immediate problem, But I'll go take a look at your suggestion, too.
thanks!
I forgot to mention the "begin resize" keyboard shortcut, which is Alt-F8 by default. If you press that key combination, and then move the mouse towards a window edge or corner, the window will be resized in the corresponding direction. No need to find the narrow window border with your mouse.