128     def Redo(self):

   128     def Redo(self):

   129         if self.Controler is not None:

   129         if self.Controler is not None:

   130             self.Controler.LoadNext()

   130             self.Controler.LoadNext()

   131             self.RefreshView()

   131             self.RefreshView()

   132     

   132     

   133     def HasNoModel(self):

   136     def HasNoModel(self):

   134         return False

   137         return False

   135     

   138     

   136     def RefreshView(self, variablepanel=True):

   139     def RefreshView(self, variablepanel=True):

   137         if variablepanel:

   140         if variablepanel:

   155 

   158 

   156     def AddHighlight(self, infos, start, end, highlight_type):

   159     def AddHighlight(self, infos, start, end, highlight_type):

   157         if self.VariableEditor is not None and infos[0] in ["var_local", "var_input", "var_output", "var_inout"]:

   160         if self.VariableEditor is not None and infos[0] in ["var_local", "var_input", "var_output", "var_inout"]:

   158             self.VariableEditor.AddVariableHighlight(infos[1:], highlight_type)

   161             self.VariableEditor.AddVariableHighlight(infos[1:], highlight_type)

   159 

   162 

   160     def ClearHighlights(self, highlight_type=None):

   167     def ClearHighlights(self, highlight_type=None):

   161         if self.VariableEditor is not None:

   168         if self.VariableEditor is not None:

   162             self.VariableEditor.ClearHighlights(highlight_type)

   169             self.VariableEditor.ClearHighlights(highlight_type)