Include panel margins in overview's allocation

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!'),

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)

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()
       }