[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: setting GTK 1 font size



On Mon, Dec 06, 2004 at 10:22:51AM +0000, Jon Dowland wrote:
> On Sun, 5 Dec 2004 19:14:46 -0200, Rog?rio Brito <rbrito@ime.usp.br> wrote:
> > On Dec 05 2004, Stephen Patterson wrote:
> > > Everything's looking good apart for the rather huge font size on the few
> > > remaining gtk1 programs (xmms and uae).
> > 
> > I don't know the answer to your problem, but you can use a replacement for
> > xmms that uses gtk2. It is called beep-media-player and is currently
> > available in sarge.
> 
> That reminds me - I noticed just the other day that beep doesn't offer
> an equivalent of xmms' "do not hide window manager decorations" (or at
> least, the one on my sid box doesn't). If that is something you rely
> on then you can't use beep to replace xmms.

It should vbe possible to tell your window manager to ignore whatever
the application asks.

Frank
> 
> 
> -- 
> Jon Dowland
> http://jon.dowland.name/
> 

-- 
"Debugging is twice as hard as writing the code in the first place.
Therefore, if you write the code as cleverly as possible, you are,
by definition, not smart enough to debug it." - Brian W. Kernighan



Reply to: