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]