Skjuletid for paneler

[Henning.J]

Hej.

Når jeg vælger "Skjul automatisk" i panelets indstillinger, så synes jeg at panelet reagerer alt for langsomt. Jeg mener at jeg på et eller andet tidspunkt har fundet et sted hvor den tid kan sættes, men nu kan jeg ikke finde det. Og jeg får ikke noget ud af at google "skjuletid"

Er der nogen der kan huske hvor det er?

mvh
Henning

[laoshi]

Den er også godt gemt væk. Du skal bruge Konfigurationsredigering. Hvis du ikke har programmet installeret kan det hentes i Programmer Tilføj/Fjern.
Du får lige en engelsk udgave af de nærmere instruktioner, hentet fra http://wprmitchell.googlepages.com/ubuntu.html

Gnome Panel Autohide Delay

* Applications->Configuration Editor.
* Choose apps -> panel from the tree view
* Choose toplevels -> top_panel_screen0
Check this is my current main panel by checking the panel is on the left and has the correct width.
* Set hide_delay to 400 and unhide_delay to 5.
* This only sets values for one panel, to change others you also have to set same parameters for bottom_panel and the other panels in default_setup -> toplevels.

PS: søgeordene der gav pote på google var

panel gnome autohide delay

[Henning.J]

Der var den, tak!

Henning

[laoshi]

Det var så lidt - så lærte jeg også selv noget nyt...

[Henning.J]

Mere vil have mere!

Når man ændrer tiderne synes jeg stadig at panelet kommer for langsomt frem pga animationen, men når jeg slår animationen fra forsvinder den meget pludseligt. (Hide er længere end unhide, sføli)

Jeg synes ikke at jeg kan finde:
mulighed for at nøjes med at have animation på "hide"
eller
mulighed for at sætte animationshastigheden.

Det ER måske ikke jordens vigtigste detalje, men...

mvh
Henning