diff --git a/src/extension.js b/src/extension.js index b1e3e71..bb3dfe6 100644 --- a/src/extension.js +++ b/src/extension.js @@ -82,6 +82,7 @@ export default class DashToPanelExtension extends Extension { if (donateIconUnixtime && donateIconUnixtime < Date.now() - 10368000000) SETTINGS.set_string('hide-donate-icon-unixtime', '') + // if new version, display a notification linking to release notes if (this.metadata.version != SETTINGS.get_int('extension-version')) { Utils.notify( _('Dash to panel has been updated!'), diff --git a/src/overview.js b/src/overview.js index f456d28..f7e04e9 100644 --- a/src/overview.js +++ b/src/overview.js @@ -133,7 +133,7 @@ export const Overview = class { // The default overview allocation takes into account external // struts, everywhere but the bottom where the dash is usually fixed anyway. // If there is a bottom panel under the dash location, give it some space here - box.y2 -= focusedPanel.geom.h + box.y2 -= focusedPanel.geom.outerSize } originalAllocate.call(overviewControls, box) diff --git a/src/panel.js b/src/panel.js index 195301b..2623f07 100644 --- a/src/panel.js +++ b/src/panel.js @@ -698,7 +698,7 @@ export const Panel = GObject.registerClass( if (this.checkIfVertical()) { this.showAppsIconWrapper.realShowAppsIcon.toggleButton.set_width( - this.geom.w, + this.geom.innerSize, ) this._refreshVerticalAlloc() }