# HG changeset patch
# User benoitrigolleau
# Date 1184225556 0
# Node ID 033a39bff919dd572f783d16f0375e87e95d1d3d
# Parent  bc5b79e7b1d8da70a58ba0bee6d7dcbedef81cb3
border for the current pane

diff -r bc5b79e7b1d8 -r 033a39bff919 view/Pane.cpp
--- a/view/Pane.cpp	Thu Jul 12 07:25:32 2007 +0000
+++ b/view/Pane.cpp	Thu Jul 12 07:32:36 2007 +0000
@@ -714,7 +714,7 @@
 
     if (m_scaleWidth > 0) {
 
-        for (LayerList::iterator vi = m_layers.end(); vi != m_layers.begin(); ) {
+       for (LayerList::iterator vi = m_layers.end(); vi != m_layers.begin(); ) {
             --vi;
             
             paint.save();
diff -r bc5b79e7b1d8 -r 033a39bff919 view/PaneStack.cpp
--- a/view/PaneStack.cpp	Thu Jul 12 07:25:32 2007 +0000
+++ b/view/PaneStack.cpp	Thu Jul 12 07:32:36 2007 +0000
@@ -28,6 +28,7 @@
 #include <QLabel>
 #include <QSplitter>
 #include <QStackedWidget>
+#include <QStyle>
 
 #include <iostream>
 
@@ -83,7 +84,12 @@
     rec.layout = layout;
     m_panes.push_back(rec);
 
-    frame->setLayout(layout);
+	//for the panel's border
+	frame->setFrameStyle(QFrame::Box | QFrame::Raised);
+	frame->setLineWidth(0);
+    
+	
+	frame->setLayout(layout);
     m_splitter->addWidget(frame);
 
 	resizePane();
@@ -292,15 +298,25 @@
                 m_propertyStackStack->setCurrentWidget(i->propertyStack);
             }
 	    found = true;
+
+		QFrame* frame = (QFrame*) (i->pane->parentWidget());
+		if(frame!=0){
+			frame->setLineWidth(2);
+		}
+
 	} else {
 	    i->currentIndicator->setPixmap(unselectedMap);
+		QFrame* frame = (QFrame*) (i->pane->parentWidget());
+		if(frame!=0){
+			frame->setLineWidth(0);
+		}
 	}
 	++i;
     }
 
     if (found || pane == 0) {
-	m_currentPane = pane;
-	emit currentPaneChanged(m_currentPane);
+		m_currentPane = pane;
+		emit currentPaneChanged(m_currentPane);
     } else {
 	std::cerr << "WARNING: PaneStack::setCurrentPane(" << pane << "): pane is not a visible pane in this stack" << std::endl;
     }