|
|
@ -845,6 +845,8 @@ class Interface(object): |
|
|
|
child = self._main_tabs.get_nth_page(page) |
|
|
|
child = self._main_tabs.get_nth_page(page) |
|
|
|
child.get_child().grab_focus() # notebook have ScrolledWindows, |
|
|
|
child.get_child().grab_focus() # notebook have ScrolledWindows, |
|
|
|
# TreeViews inside that. |
|
|
|
# TreeViews inside that. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self._message_selected(child.get_child()); |
|
|
|
return |
|
|
|
return |
|
|
|
|
|
|
|
|
|
|
|
def _quit_app(self, widget=None, user_data=None): |
|
|
|
def _quit_app(self, widget=None, user_data=None): |
|
|
@ -1083,6 +1085,7 @@ class Interface(object): |
|
|
|
value = int(value) |
|
|
|
value = int(value) |
|
|
|
self._options[namespace][option] = value |
|
|
|
self._options[namespace][option] = value |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self._options.save() |
|
|
|
return True |
|
|
|
return True |
|
|
|
|
|
|
|
|
|
|
|
def _click_message(self, widget, event, user_data=None): |
|
|
|
def _click_message(self, widget, event, user_data=None): |
|
|
|