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

        super(Notebook, self).set_current_page(new_idx)
dataset/ETHPy150Open ejeschke/ginga/ginga/gtkw/GtkHelp.py/Notebook.set_current_page/original