Definition at line 228 of file editors.py.
◆ __init__()
| def robotide.preferences.editors.GridEditorPreferences.__init__ |
( |
|
self, |
|
|
|
settings, |
|
|
* |
args, |
|
|
** |
kwargs |
|
) |
| |
◆ _create_background_pickers()
| def robotide.preferences.editors.GridEditorPreferences._create_background_pickers |
( |
|
self, |
|
|
|
colors_sizer |
|
) |
| |
|
private |
◆ _create_foreground_pickers()
| def robotide.preferences.editors.GridEditorPreferences._create_foreground_pickers |
( |
|
self, |
|
|
|
colors_sizer |
|
) |
| |
|
private |
◆ _create_grid_config_editor()
| def robotide.preferences.editors.GridEditorPreferences._create_grid_config_editor |
( |
|
self | ) |
|
|
private |
◆ _label_for()
| def robotide.preferences.editors.GridEditorPreferences._label_for |
( |
|
self, |
|
|
|
name |
|
) |
| |
|
private |
◆ _number_editor()
| def robotide.preferences.editors.GridEditorPreferences._number_editor |
( |
|
self, |
|
|
|
settings, |
|
|
|
name |
|
) |
| |
|
private |
◆ _set_value()
| def robotide.preferences.editors.GridEditorPreferences._set_value |
( |
|
self, |
|
|
|
editor, |
|
|
|
name |
|
) |
| |
|
private |
◆ create_colors_sizer()
| def robotide.preferences.editors.GridEditorPreferences.create_colors_sizer |
( |
|
self | ) |
|
◆ OnSaveLoadSettings()
| def robotide.preferences.editors.GridEditorPreferences.OnSaveLoadSettings |
( |
|
self, |
|
|
|
event |
|
) |
| |
◆ location
| tuple robotide.preferences.editors.GridEditorPreferences.location = ("Grid Editor",) |
|
static |
◆ name
| string robotide.preferences.editors.GridEditorPreferences.name = "Grid" |
|
static |
◆ title
| string robotide.preferences.editors.GridEditorPreferences.title = "Grid Editor Settings" |
|
static |
The documentation for this class was generated from the following file: