|
__init__(self,
profile_name,
profile_path,
display_number)
|
|
__add_widget(self,
ui_manager,
widget)
|
|
__setup_menus(self)
|
|
__set_needs_saving(self,
needs_saving)
|
|
__changes_model_changed(self,
model,
change)
|
|
__do_save(self)
|
|
__do_saveconfirm(self)
|
|
__handle_save(self,
action)
|
|
__handle_quit(self,
action)
|
|
__handle_delete_event(self,
window,
event)
|
|
__handle_help(self,
action)
|
|
__handle_about(self,
action)
|
|
__handle_edit(self,
action)
|
|
__handle_lockdown(self,
action)
|
|
__handle_enforce_mandatory(self,
action)
|
|
__session_finished(self,
session)
|
|
__session_mapped(self,
session_widget,
event)
|
|
__setup_session(self)
|
|
__update_statusbar(self,
model,
change)
|
|
__update_resize_grip(self,
window,
event)
|
|
__setup_statusbar(self)
|