Пример #1
0
	def __init__(self, parent, id, project = None, reporter = None):
		wx.Toolbook.__init__(self, parent, id, style=wx.BK_TOP)

		images = wx.ImageList(32, 32)
		if sys.platform == 'linux2':
			# Must set icons for Linux
			images.Add(IconImages.getRecordTabBitmap())
			images.Add(IconImages.getEditTabBitmap())
			images.Add(IconImages.getPlayTabBitmap())
			images.Add(IconImages.getReportTabBitmap())
		self.AssignImageList(images)

		self.recordTab = RecordTab(self)
		self.AddPage(self.recordTab, 'Record', imageId=0)
		self.recordTab.ResetSize()

		self.editTab = EditTab(self)
		self.AddPage(self.editTab, 'Edit', imageId=1)
		self.editTab.ResetSize()

		self.editTab.recordPanel.SetMirrorOf(self.recordTab.tree)
		self.recordTab.tree.AddObserver(self.editTab.specialsPanel.UpdateSome)

		self.playTab = PlayTab(self, project, reporter)
		self.AddPage(self.playTab, 'Play', imageId=2)
		self.playTab.ResetSize()

		self.editTab.specialsPanel.onNewSpecialCallback = self.playTab.policyPanel.UpdateSpecials

		self.reportTab = ReportTab(self)
		self.AddPage(self.reportTab, 'Report', imageId=3)
		self.reportTab.ResetSize()
Пример #2
0
    def __init__(self, parent, id, project=None, reporter=None):
        wx.Toolbook.__init__(self, parent, id, style=wx.BK_TOP)

        images = wx.ImageList(32, 32)
        if sys.platform == 'linux2':
            # Must set icons for Linux
            images.Add(IconImages.getRecordTabBitmap())
            images.Add(IconImages.getEditTabBitmap())
            images.Add(IconImages.getPlayTabBitmap())
            images.Add(IconImages.getReportTabBitmap())
        self.AssignImageList(images)

        self.recordTab = RecordTab(self)
        self.AddPage(self.recordTab, 'Record', imageId=0)
        self.recordTab.ResetSize()

        self.editTab = EditTab(self)
        self.AddPage(self.editTab, 'Edit', imageId=1)
        self.editTab.ResetSize()

        self.editTab.recordPanel.SetMirrorOf(self.recordTab.tree)
        self.recordTab.tree.AddObserver(self.editTab.specialsPanel.UpdateSome)

        self.playTab = PlayTab(self, project, reporter)
        self.AddPage(self.playTab, 'Play', imageId=2)
        self.playTab.ResetSize()

        self.editTab.specialsPanel.onNewSpecialCallback = self.playTab.policyPanel.UpdateSpecials

        self.reportTab = ReportTab(self)
        self.AddPage(self.reportTab, 'Report', imageId=3)
        self.reportTab.ResetSize()