On Sat, Jan 10, 2015 at 01:12:27PM +0000, Liam O'Toole wrote:
> 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/.
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!
--
---- Fred Smith -- fredex@xxxxxxxxxxxxxxxxxxxxxx ----------------------------
Do you not know? Have you not heard?
The LORD is the everlasting God, the Creator of the ends of the earth.
He will not grow tired or weary, and his understanding no one can fathom.
----------------------------- Isaiah 40:28 (niv) -----------------------------
_______________________________________________
CentOS mailing list
CentOS@xxxxxxxxxx
http://lists.centos.org/mailman/listinfo/centos
