342 |
342 |
343 # Create a new Viewer |
343 # Create a new Viewer |
344 def __init__(self, parent, tagname, window, controler, debug = False, instancepath = ""): |
344 def __init__(self, parent, tagname, window, controler, debug = False, instancepath = ""): |
345 wx.ScrolledWindow.__init__(self, parent, pos=wx.Point(0, 0), size=wx.Size(0, 0), |
345 wx.ScrolledWindow.__init__(self, parent, pos=wx.Point(0, 0), size=wx.Size(0, 0), |
346 style=wx.HSCROLL | wx.VSCROLL | wx.ALWAYS_SHOW_SB) |
346 style=wx.HSCROLL | wx.VSCROLL | wx.ALWAYS_SHOW_SB) |
347 DebugViewer.__init__(self, controler, debug) |
347 DebugViewer.__init__(self, controler.DataProducer, debug) |
348 self._init_menus() |
348 self._init_menus() |
349 # Adding a rubberband to Viewer |
349 # Adding a rubberband to Viewer |
350 self.rubberBand = RubberBand(drawingSurface=self) |
350 self.rubberBand = RubberBand(drawingSurface=self) |
351 self.SetBackgroundColour(wx.Colour(255,255,255)) |
351 self.SetBackgroundColour(wx.Colour(255,255,255)) |
352 self.SetBackgroundStyle(wx.BG_STYLE_CUSTOM) |
352 self.SetBackgroundStyle(wx.BG_STYLE_CUSTOM) |