diff --git a/src/Gui/DlgSettingsViewColor.cpp b/src/Gui/DlgSettingsViewColor.cpp index 28fcee439..4283162e5 100644 --- a/src/Gui/DlgSettingsViewColor.cpp +++ b/src/Gui/DlgSettingsViewColor.cpp @@ -66,6 +66,7 @@ void DlgSettingsViewColor::saveSettings() checkBoxSelection->onSave(); HighlightColor->onSave(); SelectionColor->onSave(); + spinPickRadius->onSave(); } void DlgSettingsViewColor::loadSettings() @@ -81,6 +82,7 @@ void DlgSettingsViewColor::loadSettings() checkBoxSelection->onRestore(); HighlightColor->onRestore(); SelectionColor->onRestore(); + spinPickRadius->onRestore(); } /** diff --git a/src/Gui/DlgSettingsViewColor.ui b/src/Gui/DlgSettingsViewColor.ui index 9b2f5301e..6dab39b2f 100644 --- a/src/Gui/DlgSettingsViewColor.ui +++ b/src/Gui/DlgSettingsViewColor.ui @@ -14,7 +14,16 @@ Colors - + + 9 + + + 9 + + + 9 + + 9 @@ -26,7 +35,16 @@ Selection - + + 9 + + + 9 + + + 9 + + 9 @@ -47,7 +65,16 @@ - + + 0 + + + 0 + + + 0 + + 0 @@ -61,7 +88,7 @@ - + 28 173 @@ -76,22 +103,6 @@ - - - - Enable selection highlighting - - - true - - - EnableSelection - - - View - - - @@ -128,7 +139,7 @@ - + 225 225 @@ -143,6 +154,57 @@ + + + + Enable selection highlighting + + + true + + + EnableSelection + + + View + + + + + + + Pick radius (px): + + + + + + + Sets the area of confusion for picking elements in 3D view. Larger value make it easier to pick stuff, but will make some small features impossible to select. + + + Qt::ImhPreferNumbers + + + 1 + + + 0.500000000000000 + + + 200.000000000000000 + + + 5.000000000000000 + + + PickRadius + + + View + + + @@ -154,7 +216,16 @@ Background color - + + 9 + + + 9 + + + 9 + + 9 @@ -175,7 +246,16 @@ - + + 0 + + + 0 + + + 0 + + 0 @@ -211,7 +291,7 @@ - + 20 20 @@ -244,7 +324,7 @@ - + 151 151 @@ -267,7 +347,7 @@ - + 111 111 @@ -303,7 +383,7 @@ - + 51 51 @@ -378,12 +458,18 @@ QCheckBox
Gui/PrefWidgets.h
+ + Gui::PrefDoubleSpinBox + QDoubleSpinBox +
Gui/PrefWidgets.h
+
checkBoxPreselection - checkBoxSelection HighlightColor + checkBoxSelection SelectionColor + spinPickRadius radioButtonSimple SelectionColor_Background radioButtonGradient