graphics/GraphicCommons.py
changeset 1758 845ca626db09
parent 1754 63f4af6bf6d9
child 1759 56e7f4a11046
equal deleted inserted replaced
1757:0de89da92ee0 1758:845ca626db09
  1081         else:
  1081         else:
  1082             height = CONNECTOR_SIZE
  1082             height = CONNECTOR_SIZE
  1083             if self.Edge == "rising" and self.Direction[1] == 1:
  1083             if self.Edge == "rising" and self.Direction[1] == 1:
  1084                 y -= 5
  1084                 y -= 5
  1085                 height += 5
  1085                 height += 5
  1086         rect =  wx.Rect(x - abs(movex), y - abs(movey), width + 2 * abs(movex), height + 2 * abs(movey))
  1086         rect = wx.Rect(x - abs(movex), y - abs(movey), width + 2 * abs(movex), height + 2 * abs(movey))
  1087         if self.ValueSize is None and isinstance(self.ComputedValue, (StringType, UnicodeType)):
  1087         if self.ValueSize is None and isinstance(self.ComputedValue, (StringType, UnicodeType)):
  1088             self.ValueSize = self.ParentBlock.Parent.GetMiniTextExtent(self.ComputedValue)
  1088             self.ValueSize = self.ParentBlock.Parent.GetMiniTextExtent(self.ComputedValue)
  1089         if self.ValueSize is not None:
  1089         if self.ValueSize is not None:
  1090             width, height = self.ValueSize
  1090             width, height = self.ValueSize
  1091             rect = rect.Union(wx.Rect(
  1091             rect = rect.Union(wx.Rect(