allanger/ardour
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Activity

Work around an initialization bug of GTK menus

Browse Source
This commit is contained in:
Julien "_FrnchFrgg_" RIVAUD
2019-10-31 11:34:36 +01:00
parent eaba4fa593
commit 07458155a2
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
libs/gtkmm2ext/utils.cc
View File

@@ -317,7 +317,7 @@ Gtkmm2ext::pixbuf_from_string(const string& name, const Pango::FontDescription&
static void
_position_menu_anchored (int& x, int& y, bool& push_in,
const Gtk::Menu* const menu,
Gtk::Menu* const menu,
Gtk::Widget* const anchor,
const std::string& selected)
{
@@ -424,10 +424,13 @@ _position_menu_anchored (int& x, int& y, bool& push_in,
y -= menu_req.height; /* c) */
} else if (i != items.end()) {
y -= offset; /* d) */
menu->gobj()->upper_arrow_visible = 1; /* work around a gtk bug for the first show */
} else if (monitor.get_height() - allocation.get_height() >= 2*(y - monitor.get_y())) {
y += allocation.get_height(); /* e), more space below */
menu->gobj()->upper_arrow_visible = 1; /* work around a gtk bug for the first show */
} else {
y -= menu_req.height; /* e), more space above */
menu->gobj()->upper_arrow_visible = 1; /* work around a gtk bug for the first show */
}
push_in = true;