On 2015-01-10, Leon Fauster
<leonfauster@xxxxxxxxxxxxxx> wrote:
> Am 10.01.2015 um 01:56 schrieb Fred Smith
> <fredex@xxxxxxxxxxxxxxxxxxxxxx>:
>> 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
_______________________________________________
CentOS mailing list
CentOS@xxxxxxxxxx
http://lists.centos.org/mailman/listinfo/centos
