| 2007-04-10 18:31:50 |
Marco Dalla Vecchia |
description |
Binary package hint: gnome-panel
I cannot easily access the panel properties when a panel is full with applets, like the bottom panel in default Ubuntu.
In fact, to change its properties, you have to
- remove an existing applet (say, the "show desktop" applet)
- right click to the newly created empty space and select properties
- change properties
- add the precedently removed applet
To resolve this bug, I would propose to create a general configuration application that permits to select the panel of which you want to edit the properties.
Present in gnome-panel 2.16 |
Binary package hint: gnome-panel
You cannot easily access the panel properties when a panel is full with applets, like the bottom panel in default Ubuntu.
In fact, to change its properties, you have to
- remove an existing applet (say, the "show desktop" applet)
- right click to the newly created empty space and select properties
- change properties
- add the precedently removed applet
To resolve this bug, I would propose to create a general configuration application that permits to select the panel of which you want to edit the properties. This application would be placed in
System->Preferences->Panels
Present in gnome-panel 2.16 |
|
