

def set_current_page(self, new_idx):
    old_idx = self.get_current_page()
    if (self != new_idx):
        self.change()
    super(Notebook, self).set_current_page(new_idx)

dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py Notebook.set_current_page/VarMisuse@22/31 `old_idx`->`self`