Posted by Wim Koorenneef on 2006-11-08 16:53 CET
My bottom panel Gnome was hiding and unhiding a little too slow to my liking. To change this you have to start de gconf-editor and modify the following entries by double-clicking on them. The delay is measured in milliseconds. The default is 500 and I changed them to 100 milliseconds.
/apps/panel/toplevels/bottom_panel_screen0/hide_delay
/apps/panel/toplevels/bottom_panel_screen0/unhide_delay
UPDATE 1: If you've deleted a panel at one time, your new panel may have a different name.
UPDATE 2: The solution above hasn't worked for quite some time. While testing the new Jaunty alpha 5 i found out that you have to add an entry animation_speed = fast in /apps/panel/toplevels/bottom_panel_screen0. It isn't there by default.
UPDATE 3: Smooth autohide works out of the box on 9.10 (Karmic Koala)
Set "enable_animations" to
Set "enable_animations" to false, and the panel will pop in/out instantly.
Ah, and your captcha service sucks. I had to try with like 10 different images before it would accept.
Solved in 9.10
The problem was slow animation. This is solved in 9.10. And I changed the captcha a bit, thanks for the tip.
Set an attribute to all panels in gnome
Thanks for sharing this information, Wim.
In return, please note that the following command will set a gnome panel attribute for each panel whatever their name.
echo `gconftool --all-dirs /apps/panel/toplevels|perl -pe 's/(.*)\n/gconftool -t b -s $1\/enable_animations false;/g'` | sh
Cheers,
André.
script to set an attribute to all panels in gnome
Even better, the following script will set a gnome panel attribute for each currently running panel, whatever their name.
Cheers, André again.
#!/bin/sh
# gnome_panels_set name type value
# sets name=value attribute to all currently running panels
# see gconf-editor @ /apps/panel/toplevels for names
# see man gconftool for definitions of type, example :
# gnome_all_panels_set enable_animations bool false
panels=`gconftool --all-dirs /apps/panel/toplevels`
for panel in $panels
do
echo gconftool -t $2 -s $panel/$1 $3
gconftool -t $2 -s $panel/$1 $3
done
Post new comment