Arch Linux

sheomualjy

Member

Registered: 2011-12-23

Posts: 37

[SOLVED] Gnome 3 - workspace switcher menu disappear delay

Hi

I have a quick question about a Gnome 3 tweak that I can't seem to find out how to do. I often have one window on one workspace and another on the workspace below it, and switch between the two with Ctrl+Alt+Up/Down. However, the big workspace menu (the one that shows a vertical stack containing each workspace) stays on the screen for too long for my liking. I would like it to disappear sooner. Does anyone know a way to do that? Is there a config file somewhere that I have missed?

Thanks for any help

Last edited by sheomualjy (2012-10-10 05:32:02)

don_crissti

Member

Registered: 2009-03-17

Posts: 35

Re: [SOLVED] Gnome 3 - workspace switcher menu disappear delay

Edit

/usr/share/gnome-shell/js/ui/workspaceSwitcherPopup.js

and change, on line 13:

const DISPLAY_TIMEOUT = 600;

to:

const DISPLAY_TIMEOUT = 100;

see if that's better...

sheomualjy

Member

Registered: 2011-12-23

Posts: 37

Re: [SOLVED] Gnome 3 - workspace switcher menu disappear delay

Yes, that's great! Thanks!