def change_page(self): """ Called when the page changes. """ NavigationView.change_page(self) self.uistate.clear_filter_results() self.end_selection = None
def change_page(self): """ Called when the page changes. """ NavigationView.change_page(self) self.uistate.clear_filter_results() self.end_selection = None self.osm.grab_focus() self.set_crosshair(config.get("geography.show_cross"))