diff --git a/extension.js b/extension.js index 06187b4..412eb95 100644 --- a/extension.js +++ b/extension.js @@ -33,7 +33,6 @@ const UBUNTU_DOCK_UUID = 'ubuntu-dock@ubuntu.com'; let panelManager; let extensionChangedHandler; let startupCompleteHandler; -let disabledUbuntuDock; let extensionSystem = Main.extensionManager; export let DTP_EXTENSION = null; @@ -81,12 +80,6 @@ export default class DashToPanelExtension extends Extension { if (!reset) { extensionSystem.disconnect(extensionChangedHandler); - - if (disabledUbuntuDock) { - disabledUbuntuDock = false; - extensionSystem.enableExtension(UBUNTU_DOCK_UUID); - } - delete global.dashToPanel; AppIcons.resetRecentlyClickedApp(); @@ -104,13 +97,11 @@ export default class DashToPanelExtension extends Extension { function _enable(extension) { let enabled = global.settings.get_strv('enabled-extensions'); - if (enabled?.indexOf(UBUNTU_DOCK_UUID) >= 0) { - disabledUbuntuDock = true; + if (enabled?.indexOf(UBUNTU_DOCK_UUID) >= 0) extensionSystem.disableExtension(UBUNTU_DOCK_UUID); - } if (panelManager) - return panelManager.toggleDash(); // already initialized but ubuntu dock restored the original dash on disable + return SETTINGS = extension.getSettings('org.gnome.shell.extensions.dash-to-panel'); DESKTOPSETTINGS = new Gio.Settings({schema_id: 'org.gnome.desktop.interface'}); diff --git a/panelManager.js b/panelManager.js index 43e93b4..9073739 100755 --- a/panelManager.js +++ b/panelManager.js @@ -296,10 +296,6 @@ export const PanelManager = class { this._desktopIconsUsableArea = null; } - toggleDash() { - this.overview.toggleDash(); - } - _setDesktopIconsMargins() { this._desktopIconsUsableArea?.resetMargins(); this.allPanels.forEach(p => { diff --git a/ui/BoxWindowPreviewOptions.ui b/ui/BoxWindowPreviewOptions.ui index 87cecff..2f3a1ef 100644 --- a/ui/BoxWindowPreviewOptions.ui +++ b/ui/BoxWindowPreviewOptions.ui @@ -322,7 +322,7 @@ False center True - + @@ -331,7 +331,7 @@ False center preview_title_position_bottom_button - + diff --git a/ui/SettingsFineTune.ui b/ui/SettingsFineTune.ui index c9def52..e15fbdd 100644 --- a/ui/SettingsFineTune.ui +++ b/ui/SettingsFineTune.ui @@ -58,7 +58,7 @@ 0 right True - + @@ -76,7 +76,7 @@ 0 right True - + @@ -102,7 +102,7 @@ 0 right True - + @@ -120,7 +120,7 @@ 0 right True - + @@ -138,7 +138,7 @@ 0 right True - + diff --git a/ui/SettingsPosition.ui b/ui/SettingsPosition.ui index 8130f7f..c084ad4 100644 --- a/ui/SettingsPosition.ui +++ b/ui/SettingsPosition.ui @@ -131,7 +131,7 @@ False center True - + @@ -140,7 +140,7 @@ False center position_bottom_button - + @@ -149,7 +149,7 @@ False center position_bottom_button - + @@ -158,7 +158,7 @@ False center position_bottom_button - + @@ -176,7 +176,7 @@ 0 right True - + diff --git a/ui/SettingsStyle.ui b/ui/SettingsStyle.ui index b76c96c..208c847 100644 --- a/ui/SettingsStyle.ui +++ b/ui/SettingsStyle.ui @@ -69,7 +69,7 @@ 0 right True - + @@ -123,7 +123,7 @@ 0 right True - + @@ -208,7 +208,7 @@ Bottom center - + @@ -216,7 +216,7 @@ Top center dots_bottom_button - + @@ -224,7 +224,7 @@ Left center dots_bottom_button - + @@ -232,7 +232,7 @@ Right center dots_bottom_button - +