On Tue, May 13, 2008 at 06:20:21AM +0530, Raj Kiran Grandhi wrote: > Andrew Sackville-West wrote: > >On Mon, May 12, 2008 at 08:05:08PM +0530, Raj Kiran Grandhi wrote: > Thank you and to all others for their suggestions. I shall try alternate > WMs, but the problem appears to have more to do with gtk than with > gnome. The panels take up a tiny portion 2x24 px, but it is the extra > padding around the toolbar icons, the menubar titles, the tabs and > scrollbars and the like that is eating up the space. > > This issue is not very pressing, just a bit annoying :-)
Just use a wm that doesn't depend on gtk. Doug. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
