From 6adfe7af58002dc090736f54bff11a403a34b42b Mon Sep 17 00:00:00 2001 From: vsv Date: Fri, 11 Nov 2016 17:45:09 +0300 Subject: [PATCH] Issue #1671: decrease point selection zone --- src/XGUI/SHAPER.xml | 2 +- src/XGUI/XGUI_Displayer.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/XGUI/SHAPER.xml b/src/XGUI/SHAPER.xml index 92f21fb35..e93ecf932 100644 --- a/src/XGUI/SHAPER.xml +++ b/src/XGUI/SHAPER.xml @@ -14,7 +14,7 @@ - +
diff --git a/src/XGUI/XGUI_Displayer.cpp b/src/XGUI/XGUI_Displayer.cpp index 414490ede..b90a936c6 100644 --- a/src/XGUI/XGUI_Displayer.cpp +++ b/src/XGUI/XGUI_Displayer.cpp @@ -936,7 +936,7 @@ void XGUI_Displayer::activateAIS(const Handle(AIS_InteractiveObject)& theIO, if (theMode == getSelectionMode(TopAbs_VERTEX)) aPrecision = ModuleBase_Preferences::resourceMgr()->doubleValue("Viewer", "point-selection-sensitivity", - 20); + 12); else if ((theMode == getSelectionMode(TopAbs_EDGE)) || (theMode == getSelectionMode(TopAbs_WIRE))) aPrecision = theIO->Width() + -- 2.39.2