Remove unnecessary call to _checkHotkeyPrefix.

This avoids writing settings on every boot (or disable/enable hotkey
sequence).
This commit is contained in:
franglais125
2017-03-28 15:32:24 -04:00
committed by Jason DeRose
parent aabaed7324
commit c7bbe9bc61

View File

@@ -186,7 +186,7 @@ const dtpOverview = new Lang.Class({
_checkHotkeyPrefix: function() {
this._dtpSettings.delay();
let hotkeyPrefix = this._dtpSettings.get_string('hotkey-prefix-text');
if (hotkeyPrefix == 'Super')
hotkeyPrefix = '<Super>';
@@ -240,8 +240,6 @@ const dtpOverview = new Lang.Class({
if (this._hotKeysEnabled)
return;
this._checkHotkeyPrefix();
// Setup keyboard bindings for taskbar elements
let keys = ['app-hotkey-', 'app-shift-hotkey-', 'app-ctrl-hotkey-', // Regular numbers
'app-hotkey-kp-', 'app-shift-hotkey-kp-', 'app-ctrl-hotkey-kp-']; // Key-pad numbers