panel: Fix a few more spots using panel.height directly.

Author: mtwebster

js/ui/layout.js

@@ -426,21 +426,21 @@ var LayoutManager = GObject.registerClass({
             switch (panel.panelPosition) {
                 case Panel.PanelLoc.top:
                     if (top) {
-                        kb_height -= panel.actor.height;
-                        kb_y += panel.actor.height;
+                        kb_height -= panel.get_height();
+                        kb_y += panel.get_height();
                     }
                     break;
                 case Panel.PanelLoc.bottom:
                     if (!top) {
-                        kb_height -= panel.actor.height;
+                        kb_height -= panel.get_height();
                     }
                     break;
                 case Panel.PanelLoc.left:
-                    kb_x += panel.actor.width;
-                    kb_width -= panel.actor.width;
+                    kb_x += panel.get_width();
+                    kb_width -= panel.get_width();
                     break;
                 case Panel.PanelLoc.right:
-                    kb_width -= panel.actor.width;
+                    kb_width -= panel.get_width();
                     break;
             }
         }

js/ui/popupMenu.js

@@ -2013,10 +2013,10 @@ var PopupMenu = class PopupMenu extends PopupMenuBase {
 
         for (let panel of panels) {
             if (panel.panelPosition == PanelLoc.top || panel.panelPosition == PanelLoc.bottom) {
-                maxHeight -= panel.actor.height;
+                maxHeight -= panel.get_height();
             }
             else {
-                maxWidth -= panel.actor.width;
+                maxWidth -= panel.get_width();
             }
         }
 
@@ -2047,16 +2047,16 @@ var PopupMenu = class PopupMenu extends PopupMenuBase {
             if (!panel.getIsVisible()) continue;
             switch (panel.panelPosition) {
                 case PanelLoc.top:
-                    y1 += panel.actor.height;
+                    y1 += panel.get_height();
                     break;
                 case PanelLoc.bottom:
-                    y2 -= panel.actor.height;
+                    y2 -= panel.get_height();
                     break;
                 case PanelLoc.left:
-                    x1 += panel.actor.width;
+                    x1 += panel.get_width();
                     break;
                 case PanelLoc.right:
-                    x2 -= panel.actor.width;
+                    x2 -= panel.get_width();
                     break;
             }
         }

js/ui/tooltips.js

@@ -356,14 +356,14 @@ PanelItemTooltip.prototype = {
         switch (this.orientation) {
             case St.Side.BOTTOM:
                 panel = Main.panelManager.getPanel(monitor.index, PanelLoc.bottom);
-                tooltipTop = monitor.y + monitor.height - tooltipHeight - panel.actor.height;
+                tooltipTop = monitor.y + monitor.height - tooltipHeight - panel.get_height();
                 tooltipLeft = this.mousePosition[0] - Math.round(tooltipWidth / 2);
                 tooltipLeft = Math.max(tooltipLeft, monitor.x);
                 tooltipLeft = Math.min(tooltipLeft, monitor.x + monitor.width - tooltipWidth);
                 break;
             case St.Side.TOP:
                 panel = Main.panelManager.getPanel(monitor.index, PanelLoc.top);
-                tooltipTop =  monitor.y + panel.actor.height;
+                tooltipTop =  monitor.y + panel.get_height();
                 tooltipLeft = this.mousePosition[0] - Math.round(tooltipWidth / 2);
                 tooltipLeft = Math.max(tooltipLeft, monitor.x);
                 tooltipLeft = Math.min(tooltipLeft, monitor.x + monitor.width - tooltipWidth);
@@ -381,7 +381,7 @@ PanelItemTooltip.prototype = {
                     tooltipTop = monitor.y + monitor.height - tooltipHeight;
                 }
 
-                tooltipLeft = monitor.x + panel.actor.width;
+                tooltipLeft = monitor.x + panel.get_width();
                 break;
             case St.Side.RIGHT:
                 panel = Main.panelManager.getPanel(monitor.index, PanelLoc.right);
@@ -396,7 +396,7 @@ PanelItemTooltip.prototype = {
                     tooltipTop = monitor.y + monitor.height - tooltipHeight;
                 }
 
-                tooltipLeft = monitor.x + monitor.width - tooltipWidth - panel.actor.width;
+                tooltipLeft = monitor.x + monitor.width - tooltipWidth - panel.get_width();
                 break;
             default:
                 break;