Viewer.py
changeset 407 0a324a874981
parent 400 12b55d82d363
child 409 34c9f624c2fe
equal deleted inserted replaced
406:af07b091bbee 407:0a324a874981
  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):