patch for CHARM: now the dock windows can be removed from menu View->Window using...

diff --git a/src/Qtx/QtxDockAction.cxx b/src/Qtx/QtxDockAction.cxx
index 8f40092d3c2e136586aa4b834cad6184cd2eb40f..606a3958739ada8a96ea9a0dad7f28d9a530103c 100755 (executable)
--- a/src/Qtx/QtxDockAction.cxx
+++ b/src/Qtx/QtxDockAction.cxx
@@ -159,7 +159,11 @@ void QtxDockAction::dockWidgets( QList<QDockWidget*>& lst ) const
   for ( QList<QDockWidget*>::iterator it = dockwidgets.begin(); it != dockwidgets.end(); ++it )
   {
     QDockWidget* dw = *it;
-    if ( dw->parentWidget() == mw )
+    bool isOK = dw->parentWidget() == mw;
+    QVariant isAppropriate = dw->property( "appropriate" );
+    if( isAppropriate.isValid() && isAppropriate.type()==QVariant::Bool )
+      isOK = isAppropriate.toBool();
+    if( isOK )
       lst.append( dw );
   }
 }