X-Git-Url: http://git.onelab.eu/?p=sface.git;a=blobdiff_plain;f=sface%2Fmainwindow.py;h=d23c7b3823b1d641ca5567d159533dbb11d8aa10;hp=c1c80b63faa9e64f359fa3ee45fd5ef88720a823;hb=309628a04d6ea96e70d48baccf0b870b4a704ce9;hpb=dd3e0cf249a536798fcbb3aaf788dca1d674ab26

diff --git a/sface/mainwindow.py b/sface/mainwindow.py
index c1c80b6..d23c7b3 100644
--- a/sface/mainwindow.py
+++ b/sface/mainwindow.py
@@ -1,4 +1,3 @@
-
 import os
 import sys
 import time
@@ -11,32 +10,43 @@ from sface.logwindow import LogWindow
 from sface.rspecwindow import RSpecWindow
 from sface.screens.configscreen import ConfigScreen
 from sface.screens.mainscreen import MainScreen
+from sface.screens.helpscreen import HelpScreen
 
 class Nav(QWidget):
     def __init__(self, parent=None):
         QWidget.__init__(self, parent)
         
         self.title = QLabel("", self)
+        scene=QGraphicsScene()
+        pixmap = QPixmap('/Users/parmentelat/git/sface/macos/graphic-sfa64.png')
+        logolabel=QLabel("",self)
+        logolabel.setPixmap(pixmap)
         self.main = QLabel("", self)
         self.main.setAlignment(Qt.AlignRight)
 
         self.config = QLabel("", self)
         self.config.setAlignment(Qt.AlignRight)
         
+        self.help = QLabel("", self)
+        self.help.setAlignment(Qt.AlignRight)
+
         hlayout = QHBoxLayout()
+        hlayout.addWidget(logolabel)
         hlayout.addWidget(self.title)
         hlayout.addStretch()
         hlayout.addWidget(QLabel("Go to: ", self))
         hlayout.addWidget(self.main)
         hlayout.addWidget(self.config)
+        hlayout.addWidget(self.help)
         self.setLayout(hlayout)
 
     def setTitle(self, title):
         self.title.setText(title)
 
-    def setLinks(self, main, config):
+    def setLinks(self, main, config, help):
         self.main.setText(main)
         self.config.setText(config)
+        self.help.setText(help)
 
 
 class Status(QLabel):
@@ -62,6 +72,7 @@ class Status(QLabel):
         self.setText("")
         QTimer.singleShot(1500, self.sliceUpdateDate)
 
+
 class MainWindow(QWidget):
     def __init__(self, parent=None):
         QWidget.__init__(self, parent)
@@ -72,17 +83,20 @@ class MainWindow(QWidget):
         self.pix = QLabel(self)
         self.config_screen = ConfigScreen(self)
         self.main_screen = MainScreen(self)
+        self.help_screen = HelpScreen(self)
 
         self.screens = QStackedWidget(self)
         self.screens.addWidget(self.main_screen)
         self.screens.addWidget(self.config_screen)
+        self.screens.addWidget(self.help_screen)
         self.screens.addWidget(self.pix)
         self.next_screen = None
 
         self.nav = Nav(self)
         self.nav.setTitle(self.main_screen.getTitleText())
         self.nav.setLinks(self.main_screen.getLinkText(),
-                          self.config_screen.getLinkText())
+                          self.config_screen.getLinkText(),
+                          self.help_screen.getLinkText())
 
         self.status = Status(self)
         self.log = QLabel("<a href='showlog'>Show Log</a>", self)
@@ -99,9 +113,9 @@ class MainWindow(QWidget):
         layout.addWidget(self.screens)
         layout.addLayout(hlayout)
         self.setLayout(layout)
-        self.resize(800, 600)
+        self.resize(800, 500)
 
-        for link in (self.nav.main, self.nav.config):
+        for link in (self.nav.main, self.nav.config, self.nav.help):
             self.connect(link, SIGNAL('linkActivated(QString)'),
                          self.animateToScreen)
 
@@ -115,7 +129,7 @@ class MainWindow(QWidget):
 
     def showLogWindow(self, link):
         self.logWindow.show()
-        self.logWindow.resize(800, 400)
+        self.logWindow.resize(800, 200)
         self.logWindow.raise_()
         self.logWindow.activateWindow()
 
@@ -134,6 +148,8 @@ class MainWindow(QWidget):
             self.next_screen = self.config_screen
         elif link == self.main_screen.name:
             self.next_screen = self.main_screen
+        elif link == self.help_screen.name:
+            self.next_screen = self.help_screen
 
         curr_screen = self.screens.currentWidget()
 
@@ -141,6 +157,9 @@ class MainWindow(QWidget):
             self.setStatus("Already showing %s" % curr_screen.getTitleText(), timeout=1000)
             return
 
+        # This is an optimization to have a smoother animation. We
+        # render the widget into a pixmap and animate that instead of
+        # moving the whole widget around.
         pixmap = QPixmap(self.screens.size())
         curr_screen.render(pixmap)
         self.screens.setCurrentWidget(self.pix)
@@ -158,11 +177,17 @@ class MainWindow(QWidget):
             self.toConfigScreen()
         elif self.next_screen == self.main_screen:
             self.toMainScreen()
+        elif self.next_screen == self.help_screen:
+            self.toHelpScreen()
 
     def toConfigScreen(self):
         self.screens.setCurrentWidget(self.config_screen)
         self.nav.setTitle(self.config_screen.getTitleText())
 
+    def toHelpScreen(self):
+        self.screens.setCurrentWidget(self.help_screen)
+        self.nav.setTitle(self.help_screen.getTitleText())
+
     def toMainScreen(self):
         self.screens.setCurrentWidget(self.main_screen)
         self.nav.setTitle(self.main_screen.getTitleText())
@@ -171,4 +196,5 @@ class MainWindow(QWidget):
         self.status.set(msg, timeout)
 
     def nodeSelectionChanged(self, hostname):
-        self.rspecWindow.showNode(hostname)
+        if self.rspecWindow.isVisible():
+            self.rspecWindow.showNode(hostname)