Definition at line 25 of file __init__.py.
◆ __init__()
| def robotide.preferences.Preferences.__init__ |
( |
|
self, |
|
|
|
settings |
|
) |
| |
◆ _add_builtin_preferences()
| def robotide.preferences.Preferences._add_builtin_preferences |
( |
|
self | ) |
|
|
private |
◆ add()
| def robotide.preferences.Preferences.add |
( |
|
self, |
|
|
|
preference_ui |
|
) |
| |
◆ preference_panels()
| def robotide.preferences.Preferences.preference_panels |
( |
|
self | ) |
|
|
private |
◆ remove()
| def robotide.preferences.Preferences.remove |
( |
|
self, |
|
|
|
panel_class |
|
) |
| |
◆ _preference_panels
| robotide.preferences.Preferences._preference_panels |
|
private |
◆ settings
| robotide.preferences.Preferences.settings |
◆ preference_panels
| robotide.preferences.Preferences.preference_panels = property |
|
static |
The documentation for this class was generated from the following file: