Issue #2865: Do not highlight a pre-selected shape

[modules/shaper.git] / src / XGUI / XGUI_ViewerProxy.h

diff --git a/src/XGUI/XGUI_ViewerProxy.h b/src/XGUI/XGUI_ViewerProxy.h
index f9f104ff35520301eef89e71353a813a8dacb191..b70c537da1fabd1d3e0280a93005504631ca0b23 100644 (file)
--- a/src/XGUI/XGUI_ViewerProxy.h
+++ b/src/XGUI/XGUI_ViewerProxy.h
@@ -159,7 +159,7 @@ private slots:
 #endif
 
  private:
-   void displayHighlight();
+   void displayHighlight(FeaturePtr theFeature, const TopoDS_Shape& theIgnoreShape);
    void eraseHighlight();
 
   XGUI_Workshop* myWorkshop;