/usr/share/cinnamon/js/ui/keybindings.js is in cinnamon-common 2.8.6-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 | const Signals = imports.signals;
const Main = imports.ui.main;
const Gio = imports.gi.Gio;
const Lang = imports.lang;
const Util = imports.misc.util;
const Meta = imports.gi.Meta;
const MK = imports.gi.CDesktopEnums.MediaKeyType;
const CinnamonDesktop = imports.gi.CinnamonDesktop;
const CSD_DBUS_NAME = "org.cinnamon.SettingsDaemon";
const CSD_DBUS_PATH = "/org/cinnamon/SettingsDaemon/KeybindingHandler";
const CUSTOM_KEYS_PARENT_SCHEMA = "org.cinnamon.desktop.keybindings";
const CUSTOM_KEYS_BASENAME = "/org/cinnamon/desktop/keybindings/custom-keybindings";
const CUSTOM_KEYS_SCHEMA = "org.cinnamon.desktop.keybindings.custom-keybinding";
const MEDIA_KEYS_SCHEMA = "org.cinnamon.desktop.keybindings.media-keys";
const iface = "\
<node> \
<interface name='org.cinnamon.SettingsDaemon.KeybindingHandler'> \
<annotation name='org.freedesktop.DBus.GLib.CSymbol' value='csd_media_keys_manager'/> \
<method name='HandleKeybinding'> \
<arg name='type' direction='in' type='u'/> \
</method> \
</interface> \
</node>";
const proxy = Gio.DBusProxy.makeProxyWrapper(iface);
function KeybindingManager() {
this._init();
}
KeybindingManager.prototype = {
_init: function() {
this._proxy = new proxy(Gio.DBus.session,
'org.cinnamon.SettingsDaemon',
'/org/cinnamon/SettingsDaemon/KeybindingHandler');
this.bindings = [];
this.kb_schema = Gio.Settings.new(CUSTOM_KEYS_PARENT_SCHEMA);
this.setup_custom_keybindings();
this.kb_schema.connect("changed::custom-list", Lang.bind(this, this.on_customs_changed));
this.media_key_settings = new Gio.Settings({ schema_id: MEDIA_KEYS_SCHEMA });
this.media_key_settings.connect("changed", Lang.bind(this, this.setup_media_keys));
this.setup_media_keys();
},
on_customs_changed: function(settings, key) {
this.remove_custom_keybindings();
this.setup_custom_keybindings();
},
addHotKey: function(name, bindings_string, callback) {
if (!bindings_string)
return false;
return this.addHotKeyArray(name, bindings_string.split("::"), callback);
},
addHotKeyArray: function(name, bindings, callback) {
if (this.bindings[name]) {
if (this.bindings[name].toString() == bindings.toString()) {
return true;
}
global.display.remove_custom_keybinding(name);
}
if (!bindings) {
global.logError("Missing bindings array for keybinding: " + name);
return false;
}
let empty = true;
for (let i = 0; empty && (i < bindings.length); i++) {
empty = bindings[i].toString().trim() == "";
}
if (empty) {
if (this.bindings[name])
this.bindings[name] = undefined;
global.display.rebuild_keybindings();
return true;
}
if (!global.display.add_custom_keybinding(name, bindings, callback)) {
global.logError("Warning, unable to bind hotkey with name '" + name + "'. The selected keybinding could already be in use.");
global.display.rebuild_keybindings();
return false;
} else {
this.bindings[name] = bindings;
}
global.display.rebuild_keybindings();
return true;
},
removeHotKey: function(name) {
if (this.bindings[name] == undefined)
return;
global.display.remove_custom_keybinding(name);
global.display.rebuild_keybindings();
this.bindings[name] = undefined;
},
setup_custom_keybindings: function() {
let list = this.kb_schema.get_strv("custom-list");
for (let i = 0; i < list.length; i++) {
let custom_path = CUSTOM_KEYS_BASENAME + "/" + list[i] + "/";
let schema = Gio.Settings.new_with_path(CUSTOM_KEYS_SCHEMA, custom_path);
let command = schema.get_string("command");
let binding = schema.get_strv("binding");
let name = list[i];
this.addHotKeyArray(name, binding, Lang.bind(this, function() {
Util.spawnCommandLine(command);
}))
}
},
remove_custom_keybindings: function() {
for (let i in this.bindings) {
if (i.indexOf("custom") > -1) {
this.removeHotKey(i);
}
}
},
setup_media_keys: function() {
for (let i = 0; i < MK.SEPARATOR; i++) {
let bindings = this.media_key_settings.get_strv(CinnamonDesktop.desktop_get_media_key_string(i));
this.addHotKeyArray("media-keys-" + i.toString(),
bindings,
Lang.bind(this, this.on_global_media_key_pressed, i));
}
for (let i = MK.SEPARATOR + 1; i < MK.LAST; i++) {
let bindings = this.media_key_settings.get_strv(CinnamonDesktop.desktop_get_media_key_string(i));
this.addHotKeyArray("media-keys-" + i.toString(),
bindings,
Lang.bind(this, this.on_media_key_pressed, i));
}
return true;
},
on_global_media_key_pressed: function(display, screen, event, kb, action) {
this._proxy.HandleKeybindingRemote(action);
},
on_media_key_pressed: function(display, screen, event, kb, action) {
if (Main.modalCount == 0 && !Main.overview.visible && !Main.expo.visible)
this._proxy.HandleKeybindingRemote(action);
}
};
Signals.addSignalMethods(KeybindingManager.prototype);
|