comparison: src/settings.h
src/settings.h
- changeset 356
- 65b4741b302d
- parent 335
- c5830bce1c23
equal
deleted
inserted
replaced
| 355:e81f4ad53efd | 356:65b4741b302d |
|---|---|
| 42 SETTING(RecentFiles, QStringList{}) | 42 SETTING(RecentFiles, QStringList{}) |
| 43 SETTING(ViewMode, QMdiArea::TabbedView) | 43 SETTING(ViewMode, QMdiArea::TabbedView) |
| 44 SETTING(LogOpenGLDebugMessages, false) | 44 SETTING(LogOpenGLDebugMessages, false) |
| 45 SETTING(ToolButtonStyle, Qt::ToolButtonFollowStyle) | 45 SETTING(ToolButtonStyle, Qt::ToolButtonFollowStyle) |
| 46 | 46 |
| 47 // Code editor options | |
| 48 SETTING(CodeEditorUseSystemFont, bool{true}) | |
| 49 SETTING(CodeEditorFontFamily, QString{""}) | |
| 50 SETTING(CodeEditorFontSize, int{10}) | |
| 51 | |
| 47 // File management options | 52 // File management options |
| 48 SETTING(Libraries, Libraries{}) | 53 SETTING(Libraries, Libraries{}) |
| 49 | 54 |
| 50 // End of setting definitions | 55 // End of setting definitions |
| 51 // ----------------------------------------------------------------------------- | 56 // ----------------------------------------------------------------------------- |
