morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-14 00:04:17 +09:00
Code Issues Packages Projects Releases Wiki Activity

Check for new setting to disable hot corner on 3.34

Browse Source
This commit is contained in:
Charles Gagnon
2019-10-02 13:56:50 -04:00
parent 7fd7a1f063
commit 15158482b1
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
panelManager.js
View File

@@ -495,10 +495,11 @@ function newUpdateHotCorners() {
corner.destroy();
});
this.hotCorners = [];
//ubuntu specific setting to disable the hot corner (Tweak tool > Top Bar > Activities Overview Hot Corner)
if (global.settings.list_keys().indexOf('enable-hot-corners') >= 0 &&
!global.settings.get_boolean('enable-hot-corners')) {
//global.settings is ubuntu specific setting to disable the hot corner (Tweak tool > Top Bar > Activities Overview Hot Corner)
//Main.layoutManager._interfaceSettings is for the setting to disable the hot corner introduced in gnome-shell 3.34
if ((global.settings.list_keys().indexOf('enable-hot-corners') >= 0 && !global.settings.get_boolean('enable-hot-corners')) ||
(Main.layoutManager._interfaceSettings && !Main.layoutManager._interfaceSettings.get_boolean('enable-hot-corners'))) {
this.emit('hot-corners-changed');
return;
}