

def get_widget_size(self, widget):
    (x, y, width, height) = width.get_allocation()
    return (width, height)

dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py MDIWidget.get_widget_size/VarMisuse@22/25 `widget`->`width`