10 Jan
2015
10 Jan
'15
1:12 p.m.
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/.
--
Liam