Похоже, я не посмотрел достаточно близко на некоторые методы, которые предоставляет gtk.Menu
.
Оказывается, gtk.Menu
является потомком gtk.Widget
, у которого есть метод get_window
который возвращает лежащее в основе меню gtk.gdk.Window
.
Оттуда просто вызывается get_frame_extents()
, который возвращает gtk.gdk.Rectangle
с положением и размером меню.