/[thuban]/branches/WIP-pyshapelib-bramz/Thuban/UI/view.py

Diff of /branches/WIP-pyshapelib-bramz/Thuban/UI/view.py

Parent Directory | Revision Log | View Patch Patch

-revision 60 by bh,
Thu Sep 13 14:47:39 2001 UTC
+revision 145 by bh,
Tue May  7 14:58:05 2002 UTC
 Line 1
- # Copyright (c) 2001 by Intevation GmbH
+ # Copyright (c) 2001, 2002 by Intevation GmbH
  # Authors:
  # Bernhard Herzog <[email protected]>
  #
 Line 15 
 from math import hypot
  from wxPython.wx import wxWindow,\
       wxPaintDC, wxColour, wxClientDC, wxINVERT, wxTRANSPARENT_BRUSH, wxFont,\
-      EVT_PAINT, EVT_LEFT_DOWN, EVT_LEFT_UP, EVT_MOTION
+      EVT_PAINT, EVT_LEFT_DOWN, EVT_LEFT_UP, EVT_MOTION, EVT_LEAVE_WINDOW
  from wxPython import wx
 Line 29 
 from Thuban.Model.layer import SHAPETYPE
       SHAPETYPE_POINT
  from Thuban.Model.label import ALIGN_CENTER, ALIGN_TOP, ALIGN_BOTTOM, \
       ALIGN_LEFT, ALIGN_RIGHT
+ from Thuban.Lib.connector import Publisher
  from renderer import ScreenRenderer, PrinterRender
  import labeldialog
- from messages import SELECTED_SHAPE
+ from messages import SELECTED_SHAPE, VIEW_POSITION
  #
 Line 240 
 class MapPrintout(wx.wxPrintout):
          return wx.true
- class MapCanvas(wxWindow):
+ class MapCanvas(wxWindow, Publisher):
      """A widget that displays a map and offers some interaction"""
      def __init__(self, parent, winid, interactor):
          wxWindow.__init__(self, parent, winid)
          self.SetBackgroundColour(wxColour(255, 255, 255))
+         # the map displayed in this canvas. Set with SetMap()
          self.map = None
+         # scale and offset describe the transformation from projected
+         # coordinates to window coordinates.
          self.scale = 1.0
          self.offset = (0, 0)
+         # whether the user is currently dragging the mouse, i.e. moving
+         # the mouse while pressing a mouse button
          self.dragging = 0
+         # the currently active tool
          self.tool = None
+         # The current mouse position of the last OnMotion event or None
+         # if the mouse is outside the window.
+         self.current_position = None
+         # If true, OnIdle will call do_redraw to do the actual
+         # redrawing. Set by OnPaint to avoid some unnecessary redraws.
+         # To force a redraw call full_redraw().
          self.redraw_on_idle = 0
+         # The region to update when idle
+         self.update_region = wx.wxRegion()
+         # the bitmap serving as backing store
+         self.bitmap = None
+         # the interactor
+         self.interactor = interactor
+         self.interactor.Subscribe(SELECTED_SHAPE, self.shape_selected)
+         # subscribe the WX events we're interested in
          EVT_PAINT(self, self.OnPaint)
          EVT_LEFT_DOWN(self, self.OnLeftDown)
          EVT_LEFT_UP(self, self.OnLeftUp)
          EVT_MOTION(self, self.OnMotion)
+         EVT_LEAVE_WINDOW(self, self.OnLeaveWindow)
+         wx.EVT_SIZE(self, self.OnSize)
          wx.EVT_IDLE(self, self.OnIdle)
-         self.interactor = interactor
-         self.interactor.Subscribe(SELECTED_SHAPE, self.shape_selected)
+     def __del__(self):
+         wxWindow.__del__(self)
+         Publisher.__del__(self)
      def OnPaint(self, event):
          dc = wxPaintDC(self)
          if self.map is not None and self.map.HasLayers():
              # We have a non-empty map. Redraw it in idle time
              self.redraw_on_idle = 1
+             # update the region that has to be redrawn
+             self.update_region.UnionRegion(self.GetUpdateRegion())
          else:
              # If we've got no map or if the map is empty, simply clear
              # the screen.
-Line 278 
 class MapCanvas(wxWindow):
+Line 314 
 class MapCanvas(wxWindow):
              dc.Clear()
              dc.EndDrawing()
+             # clear the region
+             self.update_region = wx.wxRegion()
      def do_redraw(self):
-         # This should only be called if we have a non-empty map. We draw
+         # This should only be called if we have a non-empty map.
-         # it into a memory DC and then blit it to the screen.
+         # get the update region and reset it.
+         update_box = self.update_region.GetBox()
+         self.update_region = wx.wxRegion()
+         # Get the window size.
          width, height = self.GetSizeTuple()
-         bitmap = wx.wxEmptyBitmap(width, height)
-         dc = wx.wxMemoryDC()
-         dc.SelectObject(bitmap)
-         dc.BeginDrawing()
-         # clear the background
+         # If self.bitmap's still there, reuse it. Otherwise redraw it
-         dc.SetBrush(wx.wxWHITE_BRUSH)
+         if self.bitmap is not None:
-         dc.SetPen(wx.wxTRANSPARENT_PEN)
+             bitmap = self.bitmap
-         dc.DrawRectangle(0, 0, width, height)
-         if 1: #self.interactor.selected_map is self.map:
-             selected_layer = self.interactor.selected_layer
-             selected_shape = self.interactor.selected_shape
          else:
-             selected_layer = None
+             bitmap = wx.wxEmptyBitmap(width, height)
-             selected_shape = None
+             dc = wx.wxMemoryDC()
+             dc.SelectObject(bitmap)
+             dc.BeginDrawing()
-         # draw the map into the bitmap
+             # clear the background
-         renderer = ScreenRenderer(dc, self.scale, self.offset)
+             dc.SetBrush(wx.wxWHITE_BRUSH)
-         renderer.RenderMap(self.map, selected_layer, selected_shape)
+             dc.SetPen(wx.wxTRANSPARENT_PEN)
+             dc.DrawRectangle(0, 0, width, height)
+             if 1: #self.interactor.selected_map is self.map:
+                 selected_layer = self.interactor.selected_layer
+                 selected_shape = self.interactor.selected_shape
+             else:
+                 selected_layer = None
+                 selected_shape = None
+             # draw the map into the bitmap
+             renderer = ScreenRenderer(dc, self.scale, self.offset)
+             renderer.RenderMap(self.map, update_box,
+                                selected_layer, selected_shape)
-         dc.EndDrawing()
+             dc.EndDrawing()
+             dc.SelectObject(wx.wxNullBitmap)
+             self.bitmap = bitmap
          # blit the bitmap to the screen
+         dc = wx.wxMemoryDC()
+         dc.SelectObject(bitmap)
          clientdc = wxClientDC(self)
          clientdc.BeginDrawing()
          clientdc.Blit(0, 0, width, height, dc, 0, 0)
-Line 322 
 class MapCanvas(wxWindow):
+Line 376 
 class MapCanvas(wxWindow):
                             LAYER_VISIBILITY_CHANGED)
          if self.map is not None:
              for channel in redraw_channels:
-                 self.map.Unsubscribe(channel, self.redraw)
+                 self.map.Unsubscribe(channel, self.full_redraw)
              self.map.Unsubscribe(MAP_PROJECTION_CHANGED,
                                   self.projection_changed)
          self.map = map
          if self.map is not None:
              for channel in redraw_channels:
-                 self.map.Subscribe(channel, self.redraw)
+                 self.map.Subscribe(channel, self.full_redraw)
              self.map.Subscribe(MAP_PROJECTION_CHANGED, self.projection_changed)
          self.FitMapToWindow()
          # force a redraw. If map is not empty, it's already been called
          # by FitMapToWindow but if map is empty it hasn't been called
          # yet so we have to explicitly call it.
-         self.redraw()
+         self.full_redraw()
      def Map(self):
          return self.map
-Line 342 
 class MapCanvas(wxWindow):
+Line 396 
 class MapCanvas(wxWindow):
      def redraw(self, *args):
          self.Refresh(0)
+     def full_redraw(self, *args):
+         self.bitmap = None
+         self.redraw()
      def projection_changed(self, *args):
          self.FitMapToWindow()
-         self.redraw()
+         self.full_redraw()
      def set_view_transform(self, scale, offset):
          self.scale = scale
          self.offset = offset
-         self.redraw()
+         self.full_redraw()
      def proj_to_win(self, x, y):
          """\
-Line 446 
 class MapCanvas(wxWindow):
+Line 504 
 class MapCanvas(wxWindow):
      def CurrentTool(self):
          return self.tool and self.tool.Name() or None
+     def CurrentPosition(self):
+         """Return current position of the mouse in projected coordinates.
+         The result is a 2-tuple of floats with the coordinates. If the
+         mouse is not in the window, the result is None.
+         """
+         if self.current_position is not None:
+             x, y = self.current_position
+             return self.win_to_proj(x, y)
+         else:
+             return None
+     def set_current_position(self, event):
+         """Set the current position from event
+         Should be called by all events that contain mouse positions
+         especially EVT_MOTION. The event paramete may be None to
+         indicate the the pointer left the window.
+         """
+         if event is not None:
+             self.current_position = (event.m_x, event.m_y)
+         else:
+             self.current_position = None
+         self.issue(VIEW_POSITION)
      def OnLeftDown(self, event):
+         self.set_current_position(event)
          if self.tool is not None:
              self.drag_dc = wxClientDC(self)
              self.drag_dc.SetLogicalFunction(wxINVERT)
-Line 458 
 class MapCanvas(wxWindow):
+Line 542 
 class MapCanvas(wxWindow):
      def OnLeftUp(self, event):
          self.ReleaseMouse()
+         self.set_current_position(event)
          if self.dragging:
              self.tool.Hide(self.drag_dc)
              self.tool.MouseUp(event)
-Line 465 
 class MapCanvas(wxWindow):
+Line 550 
 class MapCanvas(wxWindow):
          self.dragging = 0
      def OnMotion(self, event):
+         self.set_current_position(event)
          if self.dragging:
              self.tool.Hide(self.drag_dc)
              self.tool.MouseMove(event)
              self.tool.Show(self.drag_dc)
+     def OnLeaveWindow(self, event):
+         self.set_current_position(None)
      def OnIdle(self, event):
          if self.redraw_on_idle:
              self.do_redraw()
          self.redraw_on_idle = 0
+     def OnSize(self, event):
+         # the window's size has changed. We have to get a new bitmap. If
+         # we want to be clever we could try to get by without throwing
+         # everything away. E.g. when the window gets smaller, we could
+         # either keep the bitmap or create the new one from the old one.
+         # Even when the window becomes larger some parts of the bitmap
+         # could be reused.
+         self.full_redraw()
      def shape_selected(self, layer, shape):
-         self.redraw()
+         self.full_redraw()
      def find_shape_at(self, px, py, select_labels = 0, selected_layer = 1):
          """Determine the shape at point px, py in window coords
-Line 604 
 class MapCanvas(wxWindow):
+Line 702 
 class MapCanvas(wxWindow):
          return None, None
      def SelectShapeAt(self, x, y):
-         layer, shape = self.find_shape_at(x, y)
+         layer, shape = self.find_shape_at(x, y, selected_layer = 0)
          # If layer is None, then shape will also be None. We don't want
          # to deselect the currently selected layer, so we simply select
          # the already selected layer again.

 Legend:



Removed from v.60
 


changed lines


 
Added in v.145
 Legend:



Removed from v.60
 


changed lines


 
Added in v.145
-Removed from v.60
+Added in v.145

[email protected]	ViewVC Help
Powered by ViewVC 1.1.26