示例#1
0
 def __init__(self):
     self.topHandler = TopHandler()
     self.GUI = GUI(self.topHandler)
     self.topHandler.setGUI(self.GUI)
     self.statechart = Statechart(self.GUI.getStatechartHandler())
     self.statechart.setCanvas(self.GUI.getCanvas())
     self.topHandler.setStatechart(self.statechart)
示例#2
0
class Editor:
    def __init__(self):
        self.topHandler = TopHandler()
        self.GUI = GUI(self.topHandler)
        self.topHandler.setGUI(self.GUI)
        self.statechart = Statechart(self.GUI.getStatechartHandler())
        self.statechart.setCanvas(self.GUI.getCanvas())
        self.topHandler.setStatechart(self.statechart)

    def start(self):
        self.GUI.mainloop()
示例#3
0
 def onNew(self):
     if self.statechart.isValid == 0:
         return  # ignore event
     if self.canClose():
         self.statechart.setCanvas(None)
         self.setStatechart(Statechart(self.GUI.getStatechartHandler()))
         self.statechart.setModified(0)