On 2015-01-10, Fred Smith <fredex at 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 at googlemail.com> wrote: >> > Am 10.01.2015 um 01:56 schrieb Fred Smith >> > <fredex at 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. -- Liam