GitLab

        force the paned widget to resize to the right value.
        (xmenu_show): No need to check a second time whether the mouse has
        moved to another menu bar item. This slows down execution.