|--==> Paul Brossier writes: PB> On Sun, 2005-01-23 at 19:35 -0500, Dale C. Scheetz wrote: >>With regards to GNOME panel icons. The "add to panel" option now no >>longer offers "launcher from menu" so now with the "custom launcer" >>you have to hunt for your icon.
PB> well yes, here it does at least. also you can drag and drop it from your PB> menu. PB> On Tue, 2005-01-25 at 18:17 -0500, Dale C. Scheetz wrote: >>It might be better to reserve /usr/share/pixmaps specifically for menu >>icons in xpm format and create /usr/share/icons for png gif and jpeg >>icon images. PB> i don't think this is the right way to go. gnome and kde use the PB> freedesktop standard and look for their icons in /usr/share/pixmaps. PB> other applications using icons should seriously consider looking in PB> there if they want to find any. clever ones could prune redundant PB> icons according to their file format preference. PB> you don't really want to use jpeg in a menu do you? >>Is it worth while trying to get some general icon policy established >>or am I straigning at gnats? PB> another manual does not seem required. but mentionning the use PB> of .desktop would be a worth addition to the menu manual. PB> see http://standards.freedesktop.org/desktop-entry-spec/latest/ PB> here is a minimal .desktop example: PB> $ cat /usr/share/applications/freewheeling.desktop PB> [Desktop Entry] PB> Name=FreeWheeling PB> Comment=live looping instrument PB> Exec=fweelin PB> Terminal=0 PB> Icon=freewheeling.xpm PB> Type=Application PB> Categories=Application;AudioVideo; PB> .desktop go in /usr/share/applications and icons in /usr/share/pixmaps PB> (or full path). both png and xpm are ok. PB> there could actually be some lintian/linda rules that checks if both PB> menu and .desktop entries are there and that the icons are installed at PB> the correct location. I do agree with all these observations. Let me add that issues related to the menu systems are becoming even more important now that Custom Debian Distributions are entering the scene. Cheers, Free -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]