Re: Big Panel menus (32x32)
- From: "Gustavo J. A. M. Carneiro" <gjc inescporto pt>
- To: merchan baton phys lsu edu
- Cc: GNOME Desktop Devel List <desktop-devel-list gnome org>
- Subject: Re: Big Panel menus (32x32)
- Date: 12 Jun 2003 17:25:42 +0100
A Qui, 2003-06-12 às 01:04, Gregory Merchan escreveu:
> FWIW, you can do this now by adding
>
> gtk-icon-sizes="panel-menu=32,32"
>
> to your gtkrc. See the LargePrint theme for more.
Not having tested XD2, I don't think it's the same thing. Only the
main menu should be larger. Sub-menus should keep their normal (small)
sizes.
>
> It does however have the (IMO) bad side effect of affecting the icons
> in the "Add to Panel->Launcher from menu" menu.
>
> (Hmm, and the capitalization is wrong there.)
>
> Cheers,
> Greg
> _______________________________________________
> desktop-devel-list mailing list
> desktop-devel-list gnome org
> http://mail.gnome.org/mailman/listinfo/desktop-devel-list
--
Gustavo João Alves Marques Carneiro
<gjc inescporto pt> <gustavo users sourceforge net>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]