--- a/QTfrontend/ui/widget/mapContainer.cpp	Fri Jan 25 12:54:24 2013 +0100
+++ b/QTfrontend/ui/widget/mapContainer.cpp	Fri Jan 25 13:59:27 2013 +0100
@@ -889,7 +889,7 @@
 {
     if (master == m_master) return;
     m_master = master;
-    
+
     foreach (QWidget *widget, m_childWidgets)
         widget->setEnabled(master);
 }