450 |
450 |
451 # Create a new Viewer |
451 # Create a new Viewer |
452 def __init__(self, parent, tagname, window, controler, debug = False, instancepath = ""): |
452 def __init__(self, parent, tagname, window, controler, debug = False, instancepath = ""): |
453 wx.ScrolledWindow.__init__(self, parent, pos=wx.Point(0, 0), size=wx.Size(0, 0), |
453 wx.ScrolledWindow.__init__(self, parent, pos=wx.Point(0, 0), size=wx.Size(0, 0), |
454 style=wx.HSCROLL | wx.VSCROLL | wx.ALWAYS_SHOW_SB) |
454 style=wx.HSCROLL | wx.VSCROLL | wx.ALWAYS_SHOW_SB) |
455 DebugViewer.__init__(self, controler, debug) |
455 DebugViewer.__init__(self, controler.DataProducer, debug) |
456 self._init_menus() |
456 self._init_menus() |
457 # Adding a rubberband to Viewer |
457 # Adding a rubberband to Viewer |
458 self.rubberBand = RubberBand(drawingSurface=self) |
458 self.rubberBand = RubberBand(drawingSurface=self) |
459 self.SetBackgroundColour(wx.Colour(255,255,255)) |
459 self.SetBackgroundColour(wx.Colour(255,255,255)) |
460 self.SetBackgroundStyle(wx.BG_STYLE_CUSTOM) |
460 self.SetBackgroundStyle(wx.BG_STYLE_CUSTOM) |