changeset 563 | 3f92a5e18804 |
parent 562 | 0ce12552cf36 |
child 566 | 6014ef82a98a |
child 569 | 4ce166451816 |
--- a/PLCOpenEditor.py Thu Sep 22 10:56:52 2011 +0200 +++ b/PLCOpenEditor.py Thu Sep 22 15:33:31 2011 +0200 @@ -4354,7 +4354,7 @@ area_width = dw - self.Margins[1].x * Xscale - margin_left area_height = dh - self.Margins[1].y * Yscale - margin_top - dc.SetPen(wx.BLACK_PEN) + dc.SetPen(MiterPen(wx.BLACK)) dc.SetBrush(wx.TRANSPARENT_BRUSH) dc.DrawRectangle(margin_left, margin_top, area_width, area_height)