RessourceEditor.py
changeset 407 0a324a874981
parent 391 07447ee3538e
child 494 c91644c2bfa7
equal deleted inserted replaced
406:af07b091bbee 407:0a324a874981
    52     def GetTagName(self):
    52     def GetTagName(self):
    53         return self.TagName
    53         return self.TagName
    54     
    54     
    55     def IsViewing(self, tagname):
    55     def IsViewing(self, tagname):
    56         return self.TagName == tagname
    56         return self.TagName == tagname
       
    57 
       
    58     def IsDebugging(self):
       
    59         return False
    57 
    60 
    58     def SetMode(self, mode):
    61     def SetMode(self, mode):
    59         pass
    62         pass
    60 
    63 
    61     def ResetBuffer(self):
    64     def ResetBuffer(self):
   458         return self.TagName
   461         return self.TagName
   459     
   462     
   460     def IsViewing(self, tagname):
   463     def IsViewing(self, tagname):
   461         return self.TagName == tagname
   464         return self.TagName == tagname
   462 
   465 
       
   466     def IsDebugging(self):
       
   467         return False
       
   468 
   463     def SetMode(self, mode):
   469     def SetMode(self, mode):
   464         pass
   470         pass
   465 
   471 
   466     def RefreshTypeList(self):
   472     def RefreshTypeList(self):
   467         self.TypeList = ""
   473         self.TypeList = ""