diff --git a/extension.js b/extension.js index 25970f3..5e6ea6d 100644 --- a/extension.js +++ b/extension.js @@ -99,7 +99,8 @@ export default class DashToPanelExtension extends Extension { function _enable(extension) { extensionSystem.disableExtension(UBUNTU_DOCK_UUID); - if (panelManager) return; //already initialized + if (panelManager) + return panelManager.toggleDash(); // already initialized but ubuntu dock restored the original dash on disable SETTINGS = extension.getSettings('org.gnome.shell.extensions.dash-to-panel'); DESKTOPSETTINGS = new Gio.Settings({schema_id: 'org.gnome.desktop.interface'}); diff --git a/overview.js b/overview.js index e4f4961..7df5d6f 100644 --- a/overview.js +++ b/overview.js @@ -64,7 +64,7 @@ export const Overview = class { this._optionalNumberOverlay(); this._optionalClickToExit(); - this._toggleDash(); + this.toggleDash(); this._adaptAlloc(); this._signalsHandler.add([ @@ -73,7 +73,7 @@ export const Overview = class { 'changed::stockgs-keep-dash', 'changed::panel-sizes' ], - () => this._toggleDash() + () => this.toggleDash() ]); } @@ -83,7 +83,7 @@ export const Overview = class { this._timeoutsHandler.destroy(); this._injectionManager.clear(); - this._toggleDash(true); + this.toggleDash(true); // Remove key bindings this._disableHotKeys(); @@ -91,7 +91,7 @@ export const Overview = class { this._disableClickToExit(); } - _toggleDash(visible) { + toggleDash(visible) { if (visible === undefined) { visible = SETTINGS.get_boolean('stockgs-keep-dash'); } diff --git a/panelManager.js b/panelManager.js index 917c91d..51c0774 100755 --- a/panelManager.js +++ b/panelManager.js @@ -296,6 +296,10 @@ export const PanelManager = class { this._desktopIconsUsableArea = null; } + toggleDash() { + this.overview.toggleDash(); + } + _setDesktopIconsMargins() { this._desktopIconsUsableArea?.resetMargins(); this.allPanels.forEach(p => {