diff --git a/extension.js b/extension.js index 6d6e0fe..aacc97b 100644 --- a/extension.js +++ b/extension.js @@ -152,8 +152,8 @@ function disable() { } function setPanelStyle() { - size = settings.get_int('panel-size'); - position = settings.get_enum('panel-position'); + let size = settings.get_int('panel-size'); + let position = settings.get_enum('panel-position'); panel.actor.set_height(size); diff --git a/taskbar.js b/taskbar.js index d807ec3..df598b6 100644 --- a/taskbar.js +++ b/taskbar.js @@ -180,7 +180,7 @@ const taskbarActor = new Lang.Class({ childBox.y1 = contentBox.y1; childBox.x1 = contentBox.x1; childBox.x2 = contentBox.x1 + showAppsNatWidth; - childBox.y2 = contentBox.y1 + showAppsNatHeight; + childBox.y2 = contentBox.y2; showAppsButton.allocate(childBox, flags); },