Public Member Functions | |
def | __init__ |
def | get_name |
def | get_title |
def | get_widget |
def | apply |
def | revert |
def | on_font_set |
def | on_lines_changed |
Public Attributes | |
glade | |
config | |
dirty |
Definition at line 129 of file terminal.py.
def encode.terminal.Settings.__init__ | ( | self | ) |
def encode.terminal.Settings.apply | ( | self | ) |
Save all values that have been changed by the user.
Reimplemented from encode.settings.SettingsExtension.
Definition at line 154 of file terminal.py.
def encode.terminal.Settings.get_name | ( | self | ) |
Definition at line 145 of file terminal.py.
def encode.terminal.Settings.get_title | ( | self | ) |
Definition at line 148 of file terminal.py.
def encode.terminal.Settings.get_widget | ( | self | ) |
Return the gtk.Widget which is the root of the widget hierarchy that should be attached to the preferences window. The settings object is responsible for setting the "visible" property of the widget.
Reimplemented from encode.settings.SettingsExtension.
Definition at line 151 of file terminal.py.
def encode.terminal.Settings.on_font_set | ( | self, | ||
fontbutton | ||||
) |
Definition at line 184 of file terminal.py.
def encode.terminal.Settings.on_lines_changed | ( | self, | ||
spinbutton | ||||
) |
Definition at line 188 of file terminal.py.
def encode.terminal.Settings.revert | ( | self | ) |
Restore the user interface to the saved state.
Reimplemented from encode.settings.SettingsExtension.
Definition at line 169 of file terminal.py.
Definition at line 137 of file terminal.py.
Definition at line 139 of file terminal.py.
Definition at line 134 of file terminal.py.