X-Git-Url: http://git.onelab.eu/?p=sface.git;a=blobdiff_plain;f=sface%2Fmainwindow.py;h=620b000f3f6a5d3d551eb4fe40497241033f487a;hp=fde8ad8d503e2f0f8404ee1026ef5a6153bfcedc;hb=96d786458551cb101e9ccd046e98cd03e331345e;hpb=875c4f3aa289cba9ed73de07e4e1fab1770ae9ec

diff --git a/sface/mainwindow.py b/sface/mainwindow.py
index fde8ad8..620b000 100644
--- a/sface/mainwindow.py
+++ b/sface/mainwindow.py
@@ -1,5 +1,4 @@
-
-import os
+import os, os.path
 import sys
 import time
 
@@ -11,32 +10,52 @@ 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
+
+# depending on the platform..
+def locate_image_file (filename):
+    for dir in [ '/usr/share' ] :
+        for suffix in ['png','jpg']:
+            attempt=os.path.join(dir,'images',"%s.%s"%(filename,suffix))
+            if os.path.isfile(attempt) : return attempt
+    return os.path.join('/could/not/locate/image/file',filename)
+        
 
 class Nav(QWidget):
     def __init__(self, parent=None):
         QWidget.__init__(self, parent)
         
         self.title = QLabel("", self)
+        scene=QGraphicsScene()
+        pixmap = QPixmap(locate_image_file('graphic-sfa.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):
@@ -73,17 +92,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)
@@ -100,9 +122,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)
 
@@ -116,7 +138,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()
 
@@ -135,6 +157,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()
 
@@ -142,6 +166,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)
@@ -159,11 +186,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())
@@ -172,4 +205,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)