Re: pager in GNOME
- From: Max Watson <redline intrex net>
- To: gnome-list gnome org
- Subject: Re: pager in GNOME
- Date: Mon, 12 Oct 1998 21:15:21 -0500
Miguel de Icaza wrote:
>
> > BTW, the kde pager allows for setting the size of the pager buttons,
> > regardless of the length of the text label inside the buttons. Should
> > GNOME do this also?
>
> It would be nifty.
>
> But then, people using Vertical panels will get, huge vertical
> panels. On the other hand, I guess thats *their* fault not ours ;-)
>
Oh, I have fixed that in the version I have at home, it now handles
vertical panels by writing the desktop name in the button labels one
char per line, descending. I need to commit my changes to the cvs. :)
Max Watson <redline@intrex.net>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]