graphics/GraphicCommons.py
changeset 1759 56e7f4a11046
parent 1758 845ca626db09
child 1764 d5df428640ff
equal deleted inserted replaced
1758:845ca626db09 1759:56e7f4a11046
  2629     # Draws the highlightment of this element if it is highlighted
  2629     # Draws the highlightment of this element if it is highlighted
  2630     def DrawHighlightment(self, dc):
  2630     def DrawHighlightment(self, dc):
  2631         scalex, scaley = dc.GetUserScale()
  2631         scalex, scaley = dc.GetUserScale()
  2632         dc.SetUserScale(1, 1)
  2632         dc.SetUserScale(1, 1)
  2633         # If user trying to connect wire with wrong input, highlight will become red.
  2633         # If user trying to connect wire with wrong input, highlight will become red.
  2634         if self.ErrHighlight == True and not (self.EndConnected):
  2634         if self.ErrHighlight and not (self.EndConnected):
  2635             highlightcolor = wx.RED
  2635             highlightcolor = wx.RED
  2636         else:
  2636         else:
  2637             highlightcolor = HIGHLIGHTCOLOR
  2637             highlightcolor = HIGHLIGHTCOLOR
  2638         dc.SetPen(MiterPen(highlightcolor, (2 * scalex + 5)))
  2638         dc.SetPen(MiterPen(highlightcolor, (2 * scalex + 5)))
  2639         dc.SetBrush(wx.Brush(highlightcolor))
  2639         dc.SetBrush(wx.Brush(highlightcolor))