editors/Viewer.py
changeset 1293 40117d02601b
parent 1287 70dc98533ec6
child 1331 38c5de794e62
equal deleted inserted replaced
1292:bac1b86276d9 1293:40117d02601b
  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