Tipps & Tricks

Icons im Menue

Die Groesse der Icons im Menue (nicht im Panel selbst, das wird schon ueber die Groesse des Panels selbst festgelegt) kann man (leider nur systemweit) anpassen. Dazu legt man die Datei /usr/share/gnome-panelrc mit z.B. folgendem Inhalt an:

gtk-icon-sizes = "panel-menu=16,16"

Damit erhaelt man 16x16 Pixel grosse Icosn im Menue.

Panel refreshen

Falls nach einer Softwareinstallation das Panel nicht refreshed wird, wird folgender Befehl dies manuell tun:

pkill gnome-panel

Panel auf den Urzustand zurücksetzen

Fall der aktuelle Zustand des Panel's einem nicht mehr zusagt, wird mit folgendem Befehl dieses zurückgesetzt:

gconftool-2 --recursive-unset /apps/panel