How can I edit the duration of the workspace switcher pop up in GNOME shell on Ubuntu 18.04?
up vote
0
down vote
favorite
I just upgraded from 16.04 where I made heavy use of compiz config to get the environment I want. There used to be knobs for how long the workspace switcher pop up stays up. Is there a way to edit this duration in 18.04? I don't want to get rid of it, but I don't want it to linger for so long after I change workspace.
Thanks.
18.04
asked Nov 22 at 0:33
Matt Feldman
61
add a comment |
up vote
0
down vote
favorite
I just upgraded from 16.04 where I made heavy use of compiz config to get the environment I want. There used to be knobs for how long the workspace switcher pop up stays up. Is there a way to edit this duration in 18.04? I don't want to get rid of it, but I don't want it to linger for so long after I change workspace.
Thanks.
18.04
asked Nov 22 at 0:33
Matt Feldman
61
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I just upgraded from 16.04 where I made heavy use of compiz config to get the environment I want. There used to be knobs for how long the workspace switcher pop up stays up. Is there a way to edit this duration in 18.04? I don't want to get rid of it, but I don't want it to linger for so long after I change workspace.
Thanks.
18.04
asked Nov 22 at 0:33
Matt Feldman
61
I just upgraded from 16.04 where I made heavy use of compiz config to get the environment I want. There used to be knobs for how long the workspace switcher pop up stays up. Is there a way to edit this duration in 18.04? I don't want to get rid of it, but I don't want it to linger for so long after I change workspace.
Thanks.
18.04
18.04
asked Nov 22 at 0:33
Matt Feldman
61
asked Nov 22 at 0:33
Matt Feldman
61
asked Nov 22 at 0:33
Matt Feldman
61
asked Nov 22 at 0:33
Matt Feldman
61
asked Nov 22 at 0:33
Matt Feldman
61
61
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1094977%2fhow-can-i-edit-the-duration-of-the-workspace-switcher-pop-up-in-gnome-shell-on-u%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
