editors/Viewer.py
changeset 1307 26e8b99bc2c3
parent 1293 40117d02601b
child 1331 38c5de794e62
equal deleted inserted replaced
1289:1d221eda1e42 1307:26e8b99bc2c3
  1072         
  1072         
  1073     # Refresh Viewer elements
  1073     # Refresh Viewer elements
  1074     def RefreshView(self, variablepanel=True, selection=None):
  1074     def RefreshView(self, variablepanel=True, selection=None):
  1075         EditorPanel.RefreshView(self, variablepanel)
  1075         EditorPanel.RefreshView(self, variablepanel)
  1076         
  1076         
  1077         if self.TagName.split("::")[0] == "A":
  1077         if self.TagName.split("::")[0] == "A" and self.Debug:
  1078             self.AddDataConsumer("%s.Q" % self.InstancePath.upper(), self)
  1078             self.AddDataConsumer("%s.Q" % self.InstancePath.upper(), self)
  1079         
  1079         
  1080         if self.ToolTipElement is not None:
  1080         if self.ToolTipElement is not None:
  1081             self.ToolTipElement.DestroyToolTip()
  1081             self.ToolTipElement.DestroyToolTip()
  1082             self.ToolTipElement = None
  1082             self.ToolTipElement = None