Gui::Dialog::DlgEditorSettings
0
0
494
553
Editor
9
6
-
Options
9
6
-
Qt::TabFocus
Enable line numbers
true
EnableLineNumber
Editor
-
Enable folding
true
EnableFolding
Editor
-
Qt::Vertical
QSizePolicy::Ignored
20
40
-
Indentation
9
6
-
Insert spaces
Spaces
Editor
-
Tab size:
-
4
TabSize
Editor
-
Indent size:
-
4
IndentSize
Editor
-
Keep tabs
true
Tabs
Editor
-
5
7
0
0
Display Items
9
6
-
7
0
0
0
1
10
FontSize
Editor
-
false
-
140
0
Qt::TabFocus
-
Family:
-
Size:
-
7
0
0
0
-
5
0
0
0
Preview:
-
40
Gui::ColorButton
QPushButton
0
Gui::PrefCheckBox
QCheckBox
0
Gui::PrefSpinBox
QSpinBox
0
Gui::PrefRadioButton
QRadioButton
0
fontFamily
EnableLineNumber
EnableFolding
tabSize
indentSize
colorButton