Ejemplo n.º 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)
Ejemplo n.º 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()
Ejemplo n.º 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)