editors/EditorPanel.py
changeset 980 c7ba67d01d65
parent 814 5743cbdff669
child 1085 906fe7f2c052
equal deleted inserted replaced
979:1a68113a323d 980:c7ba67d01d65
    86         return self.Icon
    86         return self.Icon
    87     
    87     
    88     def SetIcon(self, icon):
    88     def SetIcon(self, icon):
    89         self.Icon = icon
    89         self.Icon = icon
    90     
    90     
    91     def GetState(self):
       
    92         return None
       
    93     
       
    94     def SetState(self, state):
       
    95         pass
       
    96     
       
    97     def IsViewing(self, tagname):
    91     def IsViewing(self, tagname):
    98         return self.GetTagName() == tagname
    92         return self.GetTagName() == tagname
    99 
    93 
   100     def IsDebugging(self):
    94     def IsDebugging(self):
   101         return self.Debug
    95         return self.Debug