Issue #2929: Make possible enable/disable additional highlighting on mouse moving

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

diff --git a/src/XGUI/XGUI_ViewerProxy.h b/src/XGUI/XGUI_ViewerProxy.h
index 3e78f0c9a534318364cba1943cf829a4213cfe25..e250d0356557f0ec11ce85fed18c73219f85c53d 100644 (file)
--- a/src/XGUI/XGUI_ViewerProxy.h
+++ b/src/XGUI/XGUI_ViewerProxy.h
@@ -164,6 +164,8 @@ private slots:
   XGUI_Workshop* myWorkshop;
   ResultPtr myResult;
   AIS_ListOfInteractive myHighlights;
+
+  bool myShowHighlight;
 };
 
 #endif