diff main/MainWindow.cpp @ 144:56c00f977cac

* Merge last-minute Windows fix across from tagged area!

--- a/main/MainWindow.cpp	Thu May 10 12:48:26 2007 +0000
+++ b/main/MainWindow.cpp	Fri May 11 11:22:06 2007 +0000
@@ -13,7 +13,7 @@
     COPYING included with this distribution for more information.
 */
 
-#include "version.h"
+#include "../version.h"
 
 #include "MainWindow.h"
 #include "document/Document.h"
@@ -167,7 +167,12 @@
     m_overview = new Overview(frame);
     m_overview->setViewManager(m_viewManager);
     m_overview->setFixedHeight(40);
+#ifndef _WIN32
+    // For some reason, the contents of the overview never appear if we
+    // make this setting on Windows.  I have no inclination at the moment
+    // to track down the reason why.
     m_overview->setFrameStyle(QFrame::StyledPanel | QFrame::Sunken);
+#endif
     connect(m_overview, SIGNAL(contextHelpChanged(const QString &)),
             this, SLOT(contextHelpChanged(const QString &)));