Go to the source code of this file.
Classes | |
| class | robotide.preferences.general.DefaultPreferences |
| class | robotide.preferences.general.GeneralPreferences |
Namespaces | |
| robotide.preferences.general | |
Functions | |
| def | robotide.preferences.general.read_fonts (fixed=False) |
| Returns list with fixed width fonts. More... | |
Variables | |
| robotide.preferences.general.ID_APPLY_TO_PANEL = wx.NewId() | |
| int | robotide.preferences.general.ID_CANCEL = -1 |
| int | robotide.preferences.general.ID_LOAD = 5551 |
| robotide.preferences.general.ID_RESET = wx.NewId() | |
| int | robotide.preferences.general.ID_SAVE = 5552 |
| robotide.preferences.general.ID_SAVELOADSETTINGS = wx.NewId() | |