How to change Gnome extension keyboard shortcut? [duplicate]

Clash Royale CLAN TAG#URR8PPP up vote
-1
down vote
favorite
This question is an exact duplicate of:
Gnome extension says to change Meta.keybindings_set_custom_handler. What is this, and how do I change it
1 answer
After Ubuntu switched to Gnome, I installed the workspace-grid Gnome extension to have a grid of workspaces like in Unity. While I can switch left and right using ctrl+alt+left/right arrow key, moving up and down is more tricky. I need to use function+super+up/down key. It's jarring having to switch keys for the same action. Also, in some applications like Chrome, pressing function+super+up/down key scrolls down instead of changing workspace. I would like to change the up/down shortcut to ctrl+alt+up/down arrow key.
Looking at the github repo for the extension, it says:
Workspaces can be changed by the user by a number of ways, and the ways this extension overrides are:
- keybindings (Main.wm.setKeybindingHandler (GNOME 3.2), Meta.keybindings_set_custom_handler (GNOME 3.4))
So what is Meta.keybindings_set_custom_handler and how do I go about setting it?
gnome shortcut-keys
marked as duplicate by pomsky, user68186, user364819, Zanna, ravery Feb 20 at 23:27
This question was marked as an exact duplicate of an existing question.
add a comment |Â
up vote
-1
down vote
favorite
This question is an exact duplicate of:
Gnome extension says to change Meta.keybindings_set_custom_handler. What is this, and how do I change it
1 answer
After Ubuntu switched to Gnome, I installed the workspace-grid Gnome extension to have a grid of workspaces like in Unity. While I can switch left and right using ctrl+alt+left/right arrow key, moving up and down is more tricky. I need to use function+super+up/down key. It's jarring having to switch keys for the same action. Also, in some applications like Chrome, pressing function+super+up/down key scrolls down instead of changing workspace. I would like to change the up/down shortcut to ctrl+alt+up/down arrow key.
Looking at the github repo for the extension, it says:
Workspaces can be changed by the user by a number of ways, and the ways this extension overrides are:
- keybindings (Main.wm.setKeybindingHandler (GNOME 3.2), Meta.keybindings_set_custom_handler (GNOME 3.4))
So what is Meta.keybindings_set_custom_handler and how do I go about setting it?
gnome shortcut-keys
marked as duplicate by pomsky, user68186, user364819, Zanna, ravery Feb 20 at 23:27
This question was marked as an exact duplicate of an existing question.
add a comment |Â
up vote
-1
down vote
favorite
up vote
-1
down vote
favorite
This question is an exact duplicate of:
Gnome extension says to change Meta.keybindings_set_custom_handler. What is this, and how do I change it
1 answer
After Ubuntu switched to Gnome, I installed the workspace-grid Gnome extension to have a grid of workspaces like in Unity. While I can switch left and right using ctrl+alt+left/right arrow key, moving up and down is more tricky. I need to use function+super+up/down key. It's jarring having to switch keys for the same action. Also, in some applications like Chrome, pressing function+super+up/down key scrolls down instead of changing workspace. I would like to change the up/down shortcut to ctrl+alt+up/down arrow key.
Looking at the github repo for the extension, it says:
Workspaces can be changed by the user by a number of ways, and the ways this extension overrides are:
- keybindings (Main.wm.setKeybindingHandler (GNOME 3.2), Meta.keybindings_set_custom_handler (GNOME 3.4))
So what is Meta.keybindings_set_custom_handler and how do I go about setting it?
gnome shortcut-keys
This question is an exact duplicate of:
Gnome extension says to change Meta.keybindings_set_custom_handler. What is this, and how do I change it
1 answer
After Ubuntu switched to Gnome, I installed the workspace-grid Gnome extension to have a grid of workspaces like in Unity. While I can switch left and right using ctrl+alt+left/right arrow key, moving up and down is more tricky. I need to use function+super+up/down key. It's jarring having to switch keys for the same action. Also, in some applications like Chrome, pressing function+super+up/down key scrolls down instead of changing workspace. I would like to change the up/down shortcut to ctrl+alt+up/down arrow key.
Looking at the github repo for the extension, it says:
Workspaces can be changed by the user by a number of ways, and the ways this extension overrides are:
- keybindings (Main.wm.setKeybindingHandler (GNOME 3.2), Meta.keybindings_set_custom_handler (GNOME 3.4))
So what is Meta.keybindings_set_custom_handler and how do I go about setting it?
This question is an exact duplicate of:
Gnome extension says to change Meta.keybindings_set_custom_handler. What is this, and how do I change it
1 answer
gnome shortcut-keys
gnome shortcut-keys
asked Feb 20 at 6:36
quantumbutterfly
2852316
2852316
marked as duplicate by pomsky, user68186, user364819, Zanna, ravery Feb 20 at 23:27
This question was marked as an exact duplicate of an existing question.
marked as duplicate by pomsky, user68186, user364819, Zanna, ravery Feb 20 at 23:27
This question was marked as an exact duplicate of an existing question.
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
0
down vote
Meta.keybindings_set_custom_handler refers to the gnome3 sourcecode - this is not a "setting" in the normal sense.
It is a function in the gnome-shell sourcecode in javascript, see here
setCustomKeybindingHandler: function(name, modes, handler)
if (Meta.keybindings_set_custom_handler(name, handler))
this.allowKeybinding(name, modes);
,
or in use, at this custom extension
function enable()
Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop);
Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop);
function disable()
Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
If you write your own extension or rewrite an existing one, you can "set" it - if you will.
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Meta.keybindings_set_custom_handler refers to the gnome3 sourcecode - this is not a "setting" in the normal sense.
It is a function in the gnome-shell sourcecode in javascript, see here
setCustomKeybindingHandler: function(name, modes, handler)
if (Meta.keybindings_set_custom_handler(name, handler))
this.allowKeybinding(name, modes);
,
or in use, at this custom extension
function enable()
Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop);
Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop);
function disable()
Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
If you write your own extension or rewrite an existing one, you can "set" it - if you will.
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
add a comment |Â
up vote
0
down vote
Meta.keybindings_set_custom_handler refers to the gnome3 sourcecode - this is not a "setting" in the normal sense.
It is a function in the gnome-shell sourcecode in javascript, see here
setCustomKeybindingHandler: function(name, modes, handler)
if (Meta.keybindings_set_custom_handler(name, handler))
this.allowKeybinding(name, modes);
,
or in use, at this custom extension
function enable()
Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop);
Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop);
function disable()
Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
If you write your own extension or rewrite an existing one, you can "set" it - if you will.
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
add a comment |Â
up vote
0
down vote
up vote
0
down vote
Meta.keybindings_set_custom_handler refers to the gnome3 sourcecode - this is not a "setting" in the normal sense.
It is a function in the gnome-shell sourcecode in javascript, see here
setCustomKeybindingHandler: function(name, modes, handler)
if (Meta.keybindings_set_custom_handler(name, handler))
this.allowKeybinding(name, modes);
,
or in use, at this custom extension
function enable()
Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop);
Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop);
function disable()
Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
If you write your own extension or rewrite an existing one, you can "set" it - if you will.
Meta.keybindings_set_custom_handler refers to the gnome3 sourcecode - this is not a "setting" in the normal sense.
It is a function in the gnome-shell sourcecode in javascript, see here
setCustomKeybindingHandler: function(name, modes, handler)
if (Meta.keybindings_set_custom_handler(name, handler))
this.allowKeybinding(name, modes);
,
or in use, at this custom extension
function enable()
Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop);
Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop);
function disable()
Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher));
If you write your own extension or rewrite an existing one, you can "set" it - if you will.
edited Feb 20 at 16:15
answered Feb 20 at 12:56
Robert Riedl
2,740623
2,740623
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
add a comment |Â
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review
â RoVo
Feb 20 at 15:58
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
@RoVo, I further explained in an edit that this is not simply a setting that OP can toggle, but rather a function in js. I'm sorry that I cannot help rewrite the extension to OPs needs, but that was not what was asked for.
â Robert Riedl
Feb 20 at 16:17
add a comment |Â