/[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 122 by bh,
Mon Apr 29 18:04:54 2002 UTC
+revision 799 by jonathan,
Wed Apr 30 17:02:21 2003 UTC
 Line 1
- # Copyright (c) 2001, 2002 by Intevation GmbH
+ # Copyright (c) 2001, 2002, 2003 by Intevation GmbH
  # Authors:
  # Bernhard Herzog <[email protected]>
  #
 Line 11 
 Classes for display of a map and interac
  __version__ = "$Revision$"
+ import sys
  from math import hypot
  from wxPython.wx import wxWindow,\
-Line 24 
 from wxproj import point_in_polygon_shap
+Line 26 
 from wxproj import point_in_polygon_shap
  from Thuban.Model.messages import MAP_PROJECTION_CHANGED, \
-      LAYERS_CHANGED, LAYER_LEGEND_CHANGED, LAYER_VISIBILITY_CHANGED
+      MAP_LAYERS_CHANGED, LAYER_CHANGED, LAYER_VISIBILITY_CHANGED
  from Thuban.Model.layer import SHAPETYPE_POLYGON, SHAPETYPE_ARC, \
       SHAPETYPE_POINT
  from Thuban.Model.label import ALIGN_CENTER, ALIGN_TOP, ALIGN_BOTTOM, \
       ALIGN_LEFT, ALIGN_RIGHT
  from Thuban.Lib.connector import Publisher
+ from Thuban.Model.color import Color
+ from selection import Selection
  from renderer import ScreenRenderer, PrinterRender
  import labeldialog
- from messages import SELECTED_SHAPE, VIEW_POSITION
+ from messages import LAYER_SELECTED, SHAPES_SELECTED, VIEW_POSITION
  #
-Line 129 
 class ZoomInTool(RectTool):
+Line 133 
 class ZoomInTool(RectTool):
              Tool.MouseUp(self, event)
              sx, sy = self.start
              cx, cy = self.current
-             if sx == cx and sy == cy:
+             if sx == cx or sy == cy:
-                 # Just a mouse click. Simply zoom in by a factor of two
+                 # Just a mouse click or a degenerate rectangle. Simply
+                 # zoom in by a factor of two
+                 # FIXME: For a click this is the desired behavior but should we
+                 # really do this for degenrate rectagles as well or
+                 # should we ignore them?
                  self.view.ZoomFactor(2, center = (cx, cy))
              else:
                  # A drag. Zoom in to the rectangle
-Line 140 
 class ZoomInTool(RectTool):
+Line 148 
 class ZoomInTool(RectTool):
  class ZoomOutTool(RectTool):
      """The Zoom-Out Tool"""
      def Name(self):
          return "ZoomOutTool"
-Line 149 
 class ZoomOutTool(RectTool):
+Line 157 
 class ZoomOutTool(RectTool):
              Tool.MouseUp(self, event)
              sx, sy = self.start
              cx, cy = self.current
-             if sx == cx and sy == cy:
+             if sx == cx or sy == cy:
-                 # Just a mouse click. Simply zoom out by a factor of two
+                 # Just a mouse click or a degenerate rectangle. Simply
-                 self.view.ZoomFactor(0.5, center = (cy, cy))
+                 # zoom out by a factor of two.
+                 # FIXME: For a click this is the desired behavior but should we
+                 # really do this for degenrate rectagles as well or
+                 # should we ignore them?
+                 self.view.ZoomFactor(0.5, center = (cx, cy))
              else:
                  # A drag. Zoom out to the rectangle
                  self.view.ZoomOutToRect((min(sx, cx), min(sy, cy),
-Line 167 
 class PanTool(Tool):
+Line 179 
 class PanTool(Tool):
      def MouseMove(self, event):
          if self.dragging:
-             x0, y0 = self.current
              Tool.MouseMove(self, event)
+             sx, sy = self.start
              x, y = self.current
              width, height = self.view.GetSizeTuple()
+             bitmapdc = wx.wxMemoryDC()
+             bitmapdc.SelectObject(self.view.bitmap)
              dc = self.view.drag_dc
-             dc.Blit(0, 0, width, height, dc, x0 - x, y0 - y)
+             dc.Blit(0, 0, width, height, bitmapdc, sx - x, sy - y)
      def MouseUp(self, event):
          if self.dragging:
-Line 180 
 class PanTool(Tool):
+Line 196 
 class PanTool(Tool):
              sx, sy = self.start
              cx, cy = self.current
              self.view.Translate(cx - sx, cy - sy)
  class IdentifyTool(Tool):
      """The "Identify" Tool"""
      def Name(self):
          return "IdentifyTool"
-Line 238 
 class MapPrintout(wx.wxPrintout):
+Line 254 
 class MapPrintout(wx.wxPrintout):
          renderer = PrinterRender(dc, scale, (offx, offy), resolution = resx)
          renderer.RenderMap(self.map)
          return wx.true
  class MapCanvas(wxWindow, Publisher):
      """A widget that displays a map and offers some interaction"""
-     def __init__(self, parent, winid, interactor):
+     # Some messages that can be subscribed/unsubscribed directly through
+     # the MapCanvas come in fact from other objects. This is a dict
+     # mapping those messages to the names of the instance variables they
+     # actually come from. The delegation is implemented in the Subscribe
+     # and Unsubscribe methods
+     delegated_messages = {LAYER_SELECTED: "selection",
+                           SHAPES_SELECTED: "selection"}
+     # Methods delegated to some instance variables. The delegation is
+     # implemented in the __getattr__ method.
+     delegated_methods = {"SelectLayer": "selection",
+                          "SelectShapes": "selection",
+                          "SelectedLayer": "selection",
+                          "HasSelectedLayer": "selection"}
+     def __init__(self, parent, winid):
          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
-         self.redraw_on_idle = 0
+         # The current mouse position of the last OnMotion event or None
+         # if the mouse is outside the window.
          self.current_position = None
+         # the bitmap serving as backing store
+         self.bitmap = None
+         # the selection
+         self.selection = Selection()
+         self.selection.Subscribe(SHAPES_SELECTED , self.shape_selected)
+         # keep track of which layers/shapes are selected to make sure we
+         # only redraw when necessary
+         self.last_selected_layer = None
+         self.last_selected_shape = None
+         # 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_IDLE(self, self.OnIdle)
+         wx.EVT_SIZE(self, self.OnSize)
-         self.interactor = interactor
-         self.interactor.Subscribe(SELECTED_SHAPE, self.shape_selected)
      def __del__(self):
          wxWindow.__del__(self)
          Publisher.__del__(self)
+     def Subscribe(self, channel, *args):
+         """Extend the inherited method to handle delegated messages.
+         If channel is one of the delegated messages call the appropriate
+         object's Subscribe method. Otherwise just call the inherited
+         method.
+         """
+         if channel in self.delegated_messages:
+             object = getattr(self, self.delegated_messages[channel])
+             object.Subscribe(channel, *args)
+         else:
+             Publisher.Subscribe(self, channel, *args)
+     def Unsubscribe(self, channel, *args):
+         """Extend the inherited method to handle delegated messages.
+         If channel is one of the delegated messages call the appropriate
+         object's Unsubscribe method. Otherwise just call the inherited
+         method.
+         """
+         if channel in self.delegated_messages:
+             object = getattr(self, self.delegated_messages[channel])
+             object.Unsubscribe(channel, *args)
+         else:
+             Publisher.Unsubscribe(self, channel, *args)
+     def __getattr__(self, attr):
+         if attr in self.delegated_methods:
+             return getattr(getattr(self, self.delegated_methods[attr]), attr)
+         raise AttributeError(attr)
      def OnPaint(self, event):
          dc = wxPaintDC(self)
-         if self.map is not None and self.map.HasLayers():
+         clear = self.map is None or not self.map.HasLayers()
-             # We have a non-empty map. Redraw it in idle time
-             self.redraw_on_idle = 1
+         if not clear:
-         else:
+             try:
+                 self.do_redraw()
+             except:
+                 print "Error during drawing:", sys.exc_info()[0]
+                 clear = True
+         if clear:
              # If we've got no map or if the map is empty, simply clear
              # the screen.
              # XXX it's probably possible to get rid of this. The
              # background color of the window is already white and the
              # only thing we may have to do is to call self.Refresh()
              # with a true argument in the right places.
              dc.BeginDrawing()
              dc.Clear()
              dc.EndDrawing()
      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 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)
+             dc.SetBackground(wx.wxWHITE_BRUSH)
+             dc.Clear()
+             selected_layer = self.selection.SelectedLayer()
+             selected_shapes = self.selection.SelectedShapes()
+             # draw the map into the bitmap
+             renderer = ScreenRenderer(dc, self.scale, self.offset)
+             # Pass the entire bitmap as update region to the renderer.
+             # We're redrawing the whole bitmap, after all.
+             renderer.RenderMap(self.map, (0, 0, width, height),
+                                selected_layer, selected_shapes)
-         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, Publisher):
+Line 426 
 class MapCanvas(wxWindow, Publisher):
          printout = MapPrintout(self.map)
          printer.Print(self, printout, wx.true)
          printout.Destroy()
      def SetMap(self, map):
-         redraw_channels = (LAYERS_CHANGED, LAYER_LEGEND_CHANGED,
+         redraw_channels = (MAP_LAYERS_CHANGED, LAYER_CHANGED,
                             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
+         self.selection.ClearSelection()
          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 the map displayed by this canvas"""
          return self.map
      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 372 
 class MapCanvas(wxWindow, Publisher):
+Line 482 
 class MapCanvas(wxWindow, Publisher):
          return ((x - offx) / self.scale, (offy - y) / self.scale)
      def FitRectToWindow(self, rect):
+         """Fit the rectangular region given by rect into the window.
+         Set scale so that rect (in projected coordinates) just fits into
+         the window and center it.
+         """
          width, height = self.GetSizeTuple()
          llx, lly, urx, ury = rect
          if llx == urx or lly == ury:
-             # zero with or zero height. Do Nothing
+             # zero width or zero height. Do Nothing
              return
          scalex = width / (urx - llx)
          scaley = height / (ury - lly)
-Line 385 
 class MapCanvas(wxWindow, Publisher):
+Line 500 
 class MapCanvas(wxWindow, Publisher):
          self.set_view_transform(scale, (offx, offy))
      def FitMapToWindow(self):
-         """\
+         """Fit the map to the window
-         Set the scale and offset so that the map is centered in the
-         window
+         Set the scale so that the map fits exactly into the window and
+         center it in the window.
          """
          bbox = self.map.ProjectedBoundingBox()
          if bbox is not None:
-Line 413 
 class MapCanvas(wxWindow, Publisher):
+Line 529 
 class MapCanvas(wxWindow, Publisher):
          self.set_view_transform(scale, offset)
      def ZoomOutToRect(self, rect):
-         # rect is given in window coordinates
+         """Zoom out to fit the currently visible region into rect.
+         The rect parameter is given in window coordinates
+         """
          # determine the bbox of the displayed region in projected
          # coordinates
          width, height = self.GetSizeTuple()
-Line 431 
 class MapCanvas(wxWindow, Publisher):
+Line 549 
 class MapCanvas(wxWindow, Publisher):
          self.set_view_transform(scale, (offx, offy))
      def Translate(self, dx, dy):
+         """Move the map by dx, dy pixels"""
          offx, offy = self.offset
          self.set_view_transform(self.scale, (offx + dx, offy + dy))
+     def SelectTool(self, tool):
+         """Make tool the active tool.
+         The parameter should be an instance of Tool or None to indicate
+         that no tool is active.
+         """
+         self.tool = tool
      def ZoomInTool(self):
-         self.tool = ZoomInTool(self)
+         """Start the zoom in tool"""
+         self.SelectTool(ZoomInTool(self))
      def ZoomOutTool(self):
-         self.tool = ZoomOutTool(self)
+         """Start the zoom out tool"""
+         self.SelectTool(ZoomOutTool(self))
      def PanTool(self):
-         self.tool = PanTool(self)
+         """Start the pan tool"""
+         self.SelectTool(PanTool(self))
      def IdentifyTool(self):
-         self.tool = IdentifyTool(self)
+         """Start the identify tool"""
+         self.SelectTool(IdentifyTool(self))
      def LabelTool(self):
-         self.tool = LabelTool(self)
+         """Start the label tool"""
+         self.SelectTool(LabelTool(self))
      def CurrentTool(self):
+         """Return the name of the current tool or None if no tool is active"""
          return self.tool and self.tool.Name() or None
      def CurrentPosition(self):
-Line 487 
 class MapCanvas(wxWindow, Publisher):
+Line 620 
 class MapCanvas(wxWindow, Publisher):
              self.tool.MouseDown(event)
              self.tool.Show(self.drag_dc)
              self.dragging = 1
      def OnLeftUp(self, event):
-         self.ReleaseMouse()
          self.set_current_position(event)
          if self.dragging:
-             self.tool.Hide(self.drag_dc)
+             self.ReleaseMouse()
-             self.tool.MouseUp(event)
+             try:
-             self.drag_dc = None
+                 self.tool.Hide(self.drag_dc)
-         self.dragging = 0
+                 self.tool.MouseUp(event)
+             finally:
+                 self.drag_dc = None
+                 self.dragging = 0
      def OnMotion(self, event):
          self.set_current_position(event)
-Line 507 
 class MapCanvas(wxWindow, Publisher):
+Line 642 
 class MapCanvas(wxWindow, Publisher):
      def OnLeaveWindow(self, event):
          self.set_current_position(None)
-     def OnIdle(self, event):
+     def OnSize(self, event):
-         if self.redraw_on_idle:
+         # the window's size has changed. We have to get a new bitmap. If
-             self.do_redraw()
+         # we want to be clever we could try to get by without throwing
-         self.redraw_on_idle = 0
+         # 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()
+         pass
      def shape_selected(self, layer, shape):
-         self.redraw()
+         """Receiver for the SHAPES_SELECTED messages. Redraw the map."""
+         # The selection object takes care that it only issues
+         # SHAPES_SELECTED messages when the set of selected shapes has
+         # actually changed, so we can do a full redraw unconditionally.
+         # FIXME: We should perhaps try to limit the redraw to the are
+         # actually covered by the shapes before and after the selection
+         # change.
+         self.full_redraw()
+     def unprojected_rect_around_point(self, x, y, dist):
+         """return a rect dist pixels around (x, y) in unprojected corrdinates
+         The return value is a tuple (minx, miny, maxx, maxy) suitable a
+         parameter to a layer's ShapesInRegion method.
+         """
+         map_proj = self.map.projection
+         if map_proj is not None:
+             inverse = map_proj.Inverse
+         else:
+             inverse = None
+         xs = []
+         ys = []
+         for dx, dy in ((-1, -1), (1, -1), (1, 1), (-1, 1)):
+             px, py = self.win_to_proj(x + dist * dx, y + dist * dy)
+             if inverse:
+                 px, py = inverse(px, py)
+             xs.append(px)
+             ys.append(py)
+         return (min(xs), min(ys), max(xs), max(ys))
-     def find_shape_at(self, px, py, select_labels = 0, selected_layer = 1):
+     def find_shape_at(self, px, py, select_labels = 0, searched_layer = None):
          """Determine the shape at point px, py in window coords
          Return the shape and the corresponding layer as a tuple (layer,
-Line 525 
 class MapCanvas(wxWindow, Publisher):
+Line 694 
 class MapCanvas(wxWindow, Publisher):
          search through the labels. If a label is found return it's index
          as the shape and None as the layer.
-         If the optional parameter selected_layer is true (default), only
+         If the optional parameter searched_layer is given (or not None
-         search in the currently selected layer.
+         which it defaults to), only search in that layer.
          """
          map_proj = self.map.projection
          if map_proj is not None:
-Line 539 
 class MapCanvas(wxWindow, Publisher):
+Line 708 
 class MapCanvas(wxWindow, Publisher):
          if select_labels:
              labels = self.map.LabelLayer().Labels()
              if labels:
                  dc = wxClientDC(self)
                  font = wxFont(10, wx.wxSWISS, wx.wxNORMAL, wx.wxNORMAL)
-Line 571 
 class MapCanvas(wxWindow, Publisher):
+Line 740 
 class MapCanvas(wxWindow, Publisher):
                      if x <= px < x + width and y <= py <= y + height:
                          return None, i
-         if selected_layer:
+         if searched_layer:
-             layer = self.interactor.SelectedLayer()
+             layers = [searched_layer]
-             if layer is not None:
-                 layers = [layer]
-             else:
-                 # no layer selected. Use an empty list to effectively
-                 # ignore all layers.
-                 layers = []
          else:
              layers = self.map.Layers()
-Line 589 
 class MapCanvas(wxWindow, Publisher):
+Line 752 
 class MapCanvas(wxWindow, Publisher):
              if not layer.Visible():
                  continue
-             filled = layer.fill is not None
+             filled = layer.GetClassification().GetDefaultFill() \
-             stroked = layer.stroke is not None
+                      is not Color.Transparent
+             stroked = layer.GetClassification().GetDefaultLineColor() \
+                       is not Color.Transparent
              layer_proj = layer.projection
              if layer_proj is not None:
                  inverse = layer_proj.Inverse
              else:
                  inverse = None
              shapetype = layer.ShapeType()
              select_shape = -1
+             # Determine the ids of the shapes that overlap a tiny area
+             # around the point. For layers containing points we have to
+             # choose a larger size of the box we're testing agains so
+             # that we take the size of the markers into account
+             # FIXME: Once the markers are more flexible this part has to
+             # become more flexible too, of course
+             if shapetype == SHAPETYPE_POINT:
+                 box = self.unprojected_rect_around_point(px, py, 5)
+             else:
+                 box = self.unprojected_rect_around_point(px, py, 1)
+             shape_ids = layer.ShapesInRegion(box)
+             shape_ids.reverse()
              if shapetype == SHAPETYPE_POLYGON:
-                 for i in range(layer.NumShapes() - 1, -1, -1):
+                 for i in shape_ids:
                      result = point_in_polygon_shape(layer.shapefile.cobject(),
                                                      i,
                                                      filled, stroked,
-Line 613 
 class MapCanvas(wxWindow, Publisher):
+Line 792 
 class MapCanvas(wxWindow, Publisher):
                          select_shape = i
                          break
              elif shapetype == SHAPETYPE_ARC:
-                 for i in range(layer.NumShapes() - 1, -1, -1):
+                 for i in shape_ids:
                      result = point_in_polygon_shape(layer.shapefile.cobject(),
                                                      i, 0, 1,
                                                      map_proj, layer_proj,
-Line 623 
 class MapCanvas(wxWindow, Publisher):
+Line 802 
 class MapCanvas(wxWindow, Publisher):
                          select_shape = i
                          break
              elif shapetype == SHAPETYPE_POINT:
-                 for i in range(layer.NumShapes() - 1, -1, -1):
+                 for i in shape_ids:
                      shape = layer.Shape(i)
                      x, y = shape.Points()[0]
                      if inverse:
-Line 640 
 class MapCanvas(wxWindow, Publisher):
+Line 819 
 class MapCanvas(wxWindow, Publisher):
                  return layer, select_shape
          return None, None
-     def SelectShapeAt(self, x, y):
+     def SelectShapeAt(self, x, y, layer = None):
-         layer, shape = self.find_shape_at(x, y, selected_layer = 0)
+         """\
+         Select and return the shape and its layer at window position (x, y)
+         If layer is given, only search in that layer. If no layer is
+         given, search through all layers.
+         Return a tuple (layer, shapeid). If no shape is found, return
+         (None, None).
+         """
+         layer, shape = result = self.find_shape_at(x, y, searched_layer=layer)
          # 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.
          if layer is None:
-             layer = self.interactor.SelectedLayer()
+             layer = self.selection.SelectedLayer()
-         self.interactor.SelectLayerAndShape(layer, shape)
+             shapes = []
+         else:
+             shapes = [shape]
+         self.selection.SelectShapes(layer, shapes)
+         return result
      def LabelShapeAt(self, x, y):
+         """Add or remove a label at window position x, y.
+         If there's a label at the given position, remove it. Otherwise
+         determine the shape at the position, run the label dialog and
+         unless the user cancels the dialog, add a laber.
+         """
          ox = x; oy = y
          label_layer = self.map.LabelLayer()
          layer, shape_index = self.find_shape_at(x, y, select_labels = 1)

 Legend:



Removed from v.122
 


changed lines


 
Added in v.799
 Legend:



Removed from v.122
 


changed lines


 
Added in v.799
-Removed from v.122
+Added in v.799

[email protected]	ViewVC Help
Powered by ViewVC 1.1.26