PAL9881 - changing of selection of hilight preferences must occur immediate effect...

diff --git a/src/SMESHGUI/SMESHGUI.cxx b/src/SMESHGUI/SMESHGUI.cxx
index 1201d25b9ff6d3affc4495ca2e3a46e353512ab3..bd5b5c239e23b082ebaa4e34b273223751fc229d 100644 (file)
--- a/src/SMESHGUI/SMESHGUI.cxx
+++ b/src/SMESHGUI/SMESHGUI.cxx
@@ -3010,6 +3010,11 @@ void SMESHGUI::createPreferences()
 
 void SMESHGUI::preferencesChanged( const QString& sect, const QString& name )
 {
 
 void SMESHGUI::preferencesChanged( const QString& sect, const QString& name )
 {

+  if( sect=="SMESH" )
+    if( name=="selection_object_color" || name=="selection_element_color" || 
+        name=="selection_width" || name=="highlight_color" || name=="highlight_width" ||
+        name=="selection_precision_node" || name=="selection_precision_element" )
+      SMESH::UpdateSelectionProp( this );

 }
 
 //================================================================================
 }
 
 //================================================================================