Re: pager in GNOME
- From: Miguel de Icaza <miguel nuclecu unam mx>
- To: redline intrex net
- CC: gnome-list gnome org
- Subject: Re: pager in GNOME
- Date: Mon, 12 Oct 1998 12:31:32 -0500
> 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 ;-)
Miguel.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]