Re: Big Panel menus (32x32)
- From: Gregory Merchan <merchan phys lsu edu>
- To: GNOME Desktop Devel List <desktop-devel-list gnome org>
- Subject: Re: Big Panel menus (32x32)
- Date: Wed, 11 Jun 2003 19:04:51 -0500
FWIW, you can do this now by adding
gtk-icon-sizes="panel-menu=32,32"
to your gtkrc. See the LargePrint theme for more.
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
