equal
deleted
inserted
replaced
44 return self.Controler.GetBufferState() |
44 return self.Controler.GetBufferState() |
45 |
45 |
46 def Undo(self): |
46 def Undo(self): |
47 self.Controler.LoadPrevious() |
47 self.Controler.LoadPrevious() |
48 self.ParentWindow.CloseTabsWithoutModel() |
48 self.ParentWindow.CloseTabsWithoutModel() |
49 self.ParentWindow.RefreshEditor() |
|
50 |
49 |
51 def Redo(self): |
50 def Redo(self): |
52 self.Controler.LoadNext() |
51 self.Controler.LoadNext() |
53 self.ParentWindow.CloseTabsWithoutModel() |
52 self.ParentWindow.CloseTabsWithoutModel() |
54 self.ParentWindow.RefreshEditor() |
|
55 |
53 |
56 def HasNoModel(self): |
54 def HasNoModel(self): |
57 return self.Controler.GetEditedElement(self.TagName) is None |
55 return self.Controler.GetEditedElement(self.TagName) is None |
58 |
56 |
59 |
57 |
457 return self.Controler.GetBufferState() |
455 return self.Controler.GetBufferState() |
458 |
456 |
459 def Undo(self): |
457 def Undo(self): |
460 self.Controler.LoadPrevious() |
458 self.Controler.LoadPrevious() |
461 self.ParentWindow.CloseTabsWithoutModel() |
459 self.ParentWindow.CloseTabsWithoutModel() |
462 self.ParentWindow.RefreshEditor() |
|
463 |
460 |
464 def Redo(self): |
461 def Redo(self): |
465 self.Controler.LoadNext() |
462 self.Controler.LoadNext() |
466 self.ParentWindow.CloseTabsWithoutModel() |
463 self.ParentWindow.CloseTabsWithoutModel() |
467 self.ParentWindow.RefreshEditor() |
|
468 |
464 |
469 def HasNoModel(self): |
465 def HasNoModel(self): |
470 return self.Controler.GetEditedElement(self.TagName) is None |
466 return self.Controler.GetEditedElement(self.TagName) is None |
471 |
467 |
472 def RefreshView(self, variablepanel=True): |
468 def RefreshView(self, variablepanel=True): |