_update_menu_min_size() {
            let work_area    = Main.layoutManager.getWorkAreaForMonitor(Main.layoutManager.findIndexForActor(this.menu.actor));
            let monitor      = Main.layoutManager.findMonitorForActor(this.menu.actor);
            let scale_factor = St.ThemeContext.get_for_stage(global.stage).scale_factor;

            // @HACK
            // Some extensions enable autohiding of the panel and as a result the
            // height of the panel is not taken into account when computing the
            // work area. This is just a simple work around.
            let tweak = 16;
            if (monitor.height === work_area.height)
                tweak = Main.layoutManager.panelBox.height + tweak;

            let max_h = Math.floor((work_area.height - tweak) / scale_factor);
            let max_w = Math.floor((work_area.width  - 16) / scale_factor);

            this.menu_max_w = max_w;
            this.menu_max_h = max_h;

            this.menu.actor.style = `max-height: ${max_h}px; max-width: ${max_w}px;`;
        }
// PanelMenu only updates the min-height, we also need to update min-width.
PanelMenu only updates the min-height, we also need to update min-width.
PanelMenu only updates the min - height we also need to update min - width .
_update_menu_min_size() {
            let work_area    = Main.layoutManager.getWorkAreaForMonitor(Main.layoutManager.findIndexForActor(this.menu.actor));
            let monitor      = Main.layoutManager.findMonitorForActor(this.menu.actor);
            let scale_factor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
            let tweak = 16;
            if (monitor.height === work_area.height)
                tweak = Main.layoutManager.panelBox.height + tweak;
            let max_h = Math.floor((work_area.height - tweak) / scale_factor);
            let max_w = Math.floor((work_area.width  - 16) / scale_factor);
            this.menu_max_w = max_w;
            this.menu_max_h = max_h;
            this.menu.actor.style = `max-height: ${max_h}px; max-width: ${max_w}px;`;
        }
_update_menu_min_size ( ) { let work_area = Main . layoutManager . getWorkAreaForMonitor ( Main . layoutManager . findIndexForActor ( this . menu . actor ) ) ; let monitor = Main . layoutManager . findMonitorForActor ( this . menu . actor ) ; let scale_factor = St . ThemeContext . get_for_stage ( global . stage ) . scale_factor ; let tweak = 16 ; if ( monitor . height === work_area . height ) tweak = Main . layoutManager . panelBox . height + tweak ; let max_h = Math . floor ( ( work_area . height - tweak ) / scale_factor ) ; let max_w = Math . floor ( ( work_area . width - 16 ) / scale_factor ) ; this . menu_max_w = max_w ; this . menu_max_h = max_h ; this . menu . actor . style = ` ${ max_h } ${ max_w } ` ; }
PanelMenu only updates the min-height, we also need to update min-width.
PanelMenu only updates the min - height we also need to update min - width .
// @HACK // Some extensions enable autohiding of the panel and as a result the // height of the panel is not taken into account when computing the // work area. This is just a simple work around.