

def set_current_page(self, idx):
    subwin = self.children[idx]
    frame = subwin.frame
    self.raise_widget(subwin)
    self.cur_index = idx

dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py MDIWidget.set_current_page/original