Gui::Dialog::DlgEditorSettings
0
0
494
553
Editor
9
9
9
9
6
-
0
0
Display items
9
9
9
9
6
-
0
0
Preview:
-
-
0
0
Font family to be used for selected code type
-
Size:
-
Color:
-
Color and font settings will be applied to selected type
false
1
-
0
0
Font size to be used for selected code type
1
10
FontSize
Editor
-
Family:
-
140
0
Qt::TabFocus
-
Options
6
9
9
9
9
-
Qt::TabFocus
Code lines will be numbered
Enable line numbers
true
EnableLineNumber
Editor
-
Enable folding
true
EnableFolding
Editor
-
Qt::Vertical
QSizePolicy::Ignored
20
40
-
Indentation
9
9
9
9
6
-
Pressing <Tab> will insert amount of defined indent size
Insert spaces
Spaces
Editor
-
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
Gui::ColorButton
QPushButton
Gui::PrefCheckBox
QCheckBox
Gui::PrefSpinBox
QSpinBox
Gui::PrefRadioButton
QRadioButton
fontFamily
EnableLineNumber
EnableFolding
tabSize
indentSize