def __init__(self, name="Tasks", parent=None):
Panel.__init__(self, name, "Tasks", parent)
self.setAttr("refreshSeconds", 5)
self.setWidget(TaskWidget(self.attrs, self))
self.setWindowTitle(name)
self.__lastJobId = None
EventManager.bind("JOB_OF_INTEREST", self.__handleJobOfInterestEvent)
def __init__(self, name="Logs", parent=None):
super(LogsPanel, self).__init__(name, "Logs", parent)
tabbedViewer = TabbedLogVieweWidget(self.attrs, self)
self.setWidget(tabbedViewer)
self.setWindowTitle(name)
self.setAttr("fontSize", DEFAULT_FONT_SIZE)
tabbedViewer.fontSizeChanged.connect(self.__fontSizeChanged)
EventManager.bind("TASK_OF_INTEREST", self.__handleTaskOfInterestEvent)
def __init__(self, name="Logs", parent=None):
super(LogsPanel, self).__init__(name, "Logs", parent)
tabbedViewer = TabbedLogVieweWidget(self.attrs, self)
self.setWidget(tabbedViewer)
self.setWindowTitle(name)
self.setAttr("fontSize", DEFAULT_FONT_SIZE)
tabbedViewer.fontSizeChanged.connect(self.__fontSizeChanged)
EventManager.bind("TASK_OF_INTEREST", self.__handleTaskOfInterestEvent)
def __init__(self, name="Tasks", parent=None):
Panel.__init__(self, name, "Tasks", parent)
self.setAttr("refreshSeconds", 5)
self.setWidget(TaskWidget(self.attrs, self))
self.setWindowTitle(name)
self.__lastJobId = None
EventManager.bind("JOB_OF_INTEREST", self.__handleJobOfInterestEvent)
def __init__(self, name="Properties", parent=None):
Panel.__init__(self, name, "Properties", parent)
self.setWidget(PropertiesWidget(self.attrs, self))
self.setRefreshTime(30)
self.setWindowTitle(name)
EventManager.bind("JOB_OF_INTEREST", self.__handleJobOfInterestEvent)
EventManager.bind("NODE_OF_INTEREST", self.__handleNodeOfInterestEvent)
self.__object = None
