73         self.ParentWindow.RefreshFileMenu()

    73         self.ParentWindow.RefreshFileMenu()

    74         self.ParentWindow.RefreshEditMenu()

    74         self.ParentWindow.RefreshEditMenu()

    75         self.ParentWindow.RefreshPageTitles()

    75         self.ParentWindow.RefreshPageTitles()

    76 

    76 

    77 class MasterViewer(SlaveEditor):

    77 class MasterViewer(SlaveEditor):

    78     SHOW_PARAMS = False

    79     SHOW_PARAMS = False

    80     def __init__(self, parent, controler, window, tagname):

    81     def __init__(self, parent, controler, window, tagname):

    81         SlaveEditor.__init__(self, parent, controler, window, False)

    82         SlaveEditor.__init__(self, parent, controler, window, False)

    82     

    83     

    83         self.TagName = tagname

    84         self.TagName = tagname

    84     

    85     

    94     def GetTitle(self):

    95     def GetTitle(self):

    95         return self.GetInstancePath()

    96         return self.GetInstancePath()

    96         

    97         

    97     def IsViewing(self, tagname):

    98     def IsViewing(self, tagname):

    98         return self.GetInstancePath() == tagname

    99         return self.GetInstancePath() == tagname