equal
deleted
inserted
replaced
2819 |
2819 |
2820 if self.SelectedElement is not None and (self.SelectedElement.IsVisible() or printing): |
2820 if self.SelectedElement is not None and (self.SelectedElement.IsVisible() or printing): |
2821 self.SelectedElement.Draw(dc) |
2821 self.SelectedElement.Draw(dc) |
2822 |
2822 |
2823 if not printing: |
2823 if not printing: |
|
2824 if self.Debug: |
|
2825 xstart, ystart = self.GetViewStart() |
|
2826 dc.DrawText(_("Debug: %s") % self.InstancePath, 2, 2) |
2824 if self.rubberBand.IsShown(): |
2827 if self.rubberBand.IsShown(): |
2825 self.rubberBand.Draw(dc) |
2828 self.rubberBand.Draw(dc) |
2826 dc.EndDrawing() |
2829 dc.EndDrawing() |
2827 |
2830 |
2828 def OnPaint(self, event): |
2831 def OnPaint(self, event): |