Gui::Dialog::DlgEditorSettings 0 0 494 553 Editor 9 9 9 9 6 Options 6 9 9 9 9 Qt::TabFocus Code lines will be numbered Enable line numbers true EnableLineNumber Editor Qt::TabFocus The cursor shape will be a block Enable block cursor false EnableBlockCursor Editor Enable folding true EnableFolding Editor Qt::Vertical QSizePolicy::Ignored 20 40 Indentation 9 9 9 9 6 Tab size: Tabulator raster (how many spaces) 4 TabSize Editor Indent size: How many spaces will be inserted when pressing <Tab> 4 IndentSize Editor Pressing <Tab> will insert a tabulator with defined tab size Keep tabs true Tabs Editor Pressing <Tab> will insert amount of defined indent size Insert spaces Spaces Editor 0 0 Display items 9 9 9 9 6 Color and font settings will be applied to selected type false 1 Family: 0 0 Font family to be used for selected code type Size: 0 0 Font size to be used for selected code type 1 10 FontSize Editor Color: 140 0 Qt::TabFocus 0 0 Preview: Gui::ColorButton QPushButton
Gui/Widgets.h
Gui::PrefCheckBox QCheckBox
Gui/PrefWidgets.h
Gui::PrefSpinBox QSpinBox
Gui/PrefWidgets.h
Gui::PrefRadioButton QRadioButton
Gui/PrefWidgets.h
fontFamily EnableLineNumber EnableBlockCursor EnableFolding tabSize indentSize