395     

   395     

   396     def Undo(self):

   396     def Undo(self):

   397         if not self.Debug and self.TextSyntax != "ALL":

   397         if not self.Debug and self.TextSyntax != "ALL":

   398             self.Controler.LoadPrevious()

   398             self.Controler.LoadPrevious()

   399             self.ParentWindow.CloseTabsWithoutModel()

   399             self.ParentWindow.CloseTabsWithoutModel()

   401             

   400             

   402     def Redo(self):

   401     def Redo(self):

   403         if not self.Debug and self.TextSyntax != "ALL":

   402         if not self.Debug and self.TextSyntax != "ALL":

   404             self.Controler.LoadNext()

   403             self.Controler.LoadNext()

   405             self.ParentWindow.CloseTabsWithoutModel()

   404             self.ParentWindow.CloseTabsWithoutModel()

   408     def HasNoModel(self):

   406     def HasNoModel(self):

   409         if not self.Debug and self.TextSyntax != "ALL":

   407         if not self.Debug and self.TextSyntax != "ALL":

   410             return self.Controler.GetEditedElement(self.TagName) is None

   408             return self.Controler.GetEditedElement(self.TagName) is None

   411         return False

   409         return False

   412     

   410     

   598             elif char in NUMBERS or char == '.' and state != WORD:

   596             elif char in NUMBERS or char == '.' and state != WORD:

   599                 if state == SPACE:

   597                 if state == SPACE:

   600                     self.SetStyling(current_pos - last_styled_pos, 31)

   598                     self.SetStyling(current_pos - last_styled_pos, 31)

   601                     last_styled_pos = current_pos

   599                     last_styled_pos = current_pos

   602                     state = NUMBER

   600                     state = NUMBER

   604                     word += char

   602                     word += char

   605             elif char == '(' and state == SPACE:

   603             elif char == '(' and state == SPACE:

   606                 self.CallStack.append(current_call)

   604                 self.CallStack.append(current_call)

   607                 current_call = None

   605                 current_call = None

   608             else:

   606             else: