How can I change keyboard shortcuts for window navigation in GNOME?











up vote
0
down vote

favorite












Looking at the GNOME help page, I see that there's supposed to be a section called "Navigation" in the keyboard shortcut dialog. But when I'm in that area of settings, I see tons of keyboard shortcuts I can change, but there's no Navigation section. Has this been removed in GNOME 3.30? If so, how can I change keyboard shortcuts for window navigation in GNOME? I'd like to, say, change the shortcut for going to the next workspace.










share|improve this question






















  • I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
    – AFH
    Nov 16 at 0:51















up vote
0
down vote

favorite












Looking at the GNOME help page, I see that there's supposed to be a section called "Navigation" in the keyboard shortcut dialog. But when I'm in that area of settings, I see tons of keyboard shortcuts I can change, but there's no Navigation section. Has this been removed in GNOME 3.30? If so, how can I change keyboard shortcuts for window navigation in GNOME? I'd like to, say, change the shortcut for going to the next workspace.










share|improve this question






















  • I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
    – AFH
    Nov 16 at 0:51













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Looking at the GNOME help page, I see that there's supposed to be a section called "Navigation" in the keyboard shortcut dialog. But when I'm in that area of settings, I see tons of keyboard shortcuts I can change, but there's no Navigation section. Has this been removed in GNOME 3.30? If so, how can I change keyboard shortcuts for window navigation in GNOME? I'd like to, say, change the shortcut for going to the next workspace.










share|improve this question













Looking at the GNOME help page, I see that there's supposed to be a section called "Navigation" in the keyboard shortcut dialog. But when I'm in that area of settings, I see tons of keyboard shortcuts I can change, but there's no Navigation section. Has this been removed in GNOME 3.30? If so, how can I change keyboard shortcuts for window navigation in GNOME? I'd like to, say, change the shortcut for going to the next workspace.







keyboard-shortcuts gnome






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked Nov 15 at 23:17









Jonathan

75411031




75411031












  • I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
    – AFH
    Nov 16 at 0:51


















  • I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
    – AFH
    Nov 16 at 0:51
















I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
– AFH
Nov 16 at 0:51




I've had this problem on Ubuntu Mate since upgrading to 18.04. Fortunately, I had set up all the short-cuts I wanted before the upgrade. Very occasionally, when I go into Keyboard Shortcuts there is a Window section (or was it Windows or Window Management?), and this contains the missing keys, but I have never found out what triggers this. I can find the settings with dconf Editor and change them, but it's tedious: they are in /org/gnome/desktop/wm/keybindings.
– AFH
Nov 16 at 0:51















active

oldest

votes











Your Answer








StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "3"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fsuperuser.com%2fquestions%2f1375836%2fhow-can-i-change-keyboard-shortcuts-for-window-navigation-in-gnome%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fsuperuser.com%2fquestions%2f1375836%2fhow-can-i-change-keyboard-shortcuts-for-window-navigation-in-gnome%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Сан-Квентин

8-я гвардейская общевойсковая армия

Алькесар