equal
deleted
inserted
replaced
67 def RefreshBufferState(self): |
67 def RefreshBufferState(self): |
68 self.ParentWindow.RefreshTitle() |
68 self.ParentWindow.RefreshTitle() |
69 self.ParentWindow.RefreshFileMenu() |
69 self.ParentWindow.RefreshFileMenu() |
70 self.ParentWindow.RefreshEditMenu() |
70 self.ParentWindow.RefreshEditMenu() |
71 self.ParentWindow.RefreshPageTitles() |
71 self.ParentWindow.RefreshPageTitles() |
72 |
72 |
|
73 class MasterViewer(SlaveEditor): |
|
74 SHOW_PARAMS = False |
|
75 |
|
76 def __init__(self, parent, controler, window): |
|
77 SlaveEditor.__init__(self, parent, controler, window, False) |
|
78 |