src/pyqt/gui/browser_session.py

   1
   2 import sys
   3 from qt import *
   4 import browser
   5 import sessions
   6 import pilot
   7
   8 class Browser(browser.Browser):
   9   def init(self):
  10     self.rootItem=sessions.Sessions(port=2809)
  11     self.objectBrowser.additem(self.rootItem)
  12     self.boxManager.setRootItem(self.rootItem)
  13     self.setStretchFactor(self.hSplitter,10)
  14
  15 class MainBrowser(QMainWindow):
  16   def __init__(self,parent,appli):
  17     QMainWindow.__init__(self,parent)
  18     self.appli=appli
  19     self.catalogTool=parent
  20     self.createWidgets()
  21
  22   def createWidgets(self):
  23     box=QVBox(self)
  24
  25     hb=QHBox(box)
  26     self.browser=Browser(hb,self.appli)
  27
  28     row2=QHBox(box)
  29     but1=QPushButton( "Import catalog", row2 )
  30     but1.setFixedSize( but1.sizeHint())
  31     #but2=QPushButton( "Cancel", row2 )
  32     self.connect( but1, SIGNAL("clicked()"), self.handleBut1 )
  33     #box.connect( but2, SIGNAL("clicked()"), self.handleCancel )
  34     self.setCentralWidget(box)
  35     #self.resize(800,600)
  36
  37   def handleBut1(self):
  38     addr=self.browser.selected.addr+"#Kernel.dir/ModulCatalog.object"
  39     cata=pilot.getRuntime().loadCatalog("session",addr)
  40     self.catalogTool.register(cata,self.browser.selected.addr)
  41
  42 if __name__ == "__main__":
  43   app = QApplication(sys.argv)
  44   t=MainBrowser(None,None)
  45   app.setMainWidget(t)
  46   t.show()
  47   app.exec_loop()
  48