Classes | |
| class | DefaultPreferences |
| class | GeneralPreferences |
Functions | |
| def | read_fonts (fixed=False) |
| Returns list with fixed width fonts. More... | |
Variables | |
| ID_APPLY_TO_PANEL = wx.NewId() | |
| int | ID_CANCEL = -1 |
| int | ID_LOAD = 5551 |
| ID_RESET = wx.NewId() | |
| int | ID_SAVE = 5552 |
| ID_SAVELOADSETTINGS = wx.NewId() | |
| def robotide.preferences.general.read_fonts | ( | fixed = False | ) |
Returns list with fixed width fonts.
Definition at line 36 of file general.py.
| robotide.preferences.general.ID_APPLY_TO_PANEL = wx.NewId() |
Definition at line 26 of file general.py.
| int robotide.preferences.general.ID_CANCEL = -1 |
Definition at line 31 of file general.py.
| int robotide.preferences.general.ID_LOAD = 5551 |
Definition at line 29 of file general.py.
| robotide.preferences.general.ID_RESET = wx.NewId() |
Definition at line 27 of file general.py.
| int robotide.preferences.general.ID_SAVE = 5552 |
Definition at line 30 of file general.py.
| robotide.preferences.general.ID_SAVELOADSETTINGS = wx.NewId() |
Definition at line 28 of file general.py.