/[thuban]/branches/WIP-pyshapelib-bramz/Thuban/UI/legend.py
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 562 by jonathan, Wed Mar 26 11:06:22 2003 UTC revision 665 by jonathan, Mon Apr 14 16:35:19 2003 UTC
# Line 9  __version__ = "$Revision$" Line 9  __version__ = "$Revision$"
9    
10  from Thuban import _  from Thuban import _
11    
12    import resource
13    
14  from wxPython.wx import *  from wxPython.wx import *
15    
16  from Thuban.Model.layer import Layer  from Thuban.Model.layer import Layer
# Line 16  from Thuban.Model.map import Map Line 18  from Thuban.Model.map import Map
18  from Thuban.Model.messages import *  from Thuban.Model.messages import *
19  from Thuban.Model.classification import ClassGroup  from Thuban.Model.classification import ClassGroup
20    
21    from Thuban.UI.messages import *
22  from Thuban.UI.classifier import ClassDataPreviewer  from Thuban.UI.classifier import ClassDataPreviewer
23  from Thuban.UI.dock import DockPanel  from Thuban.UI.dock import DockPanel
24    
25  ID_LEGEND_MOVEUP = 4001  from Thuban.Lib.connector import ConnectorError
26  ID_LEGEND_MOVEDOWN = 4002  
27    ID_LEGEND_RAISE = 4001
28    ID_LEGEND_LOWER = 4002
29  ID_LEGEND_TREE = 4003  ID_LEGEND_TREE = 4003
30  ID_LEGEND_CLASSIFY = 4004  ID_LEGEND_PROPS = 4004
31  ID_LEGEND_SHOWLAYER = 4005  ID_LEGEND_SHOWLAYER = 4005
32  ID_LEGEND_HIDELAYER = 4006  ID_LEGEND_HIDELAYER = 4006
 ID_LEGEND_DOCK = 4007  
 ID_LEGEND_UNDOCK = 4008  
33    
34  BMP_SIZE_W = 30  BMP_SIZE_W = 30
35  BMP_SIZE_H = 15  BMP_SIZE_H = 15
36    
37  #class LegendDialog(NonModalDialog):  RAISE_BMP = "raise_layer"
38    LOWER_BMP = "lower_layer"
39      #def __init__(self, parent, name, panel):  SHOW_BMP  = "show_layer"
40          #NonModalDialog.__init__(self, parent, name,  HIDE_BMP  = "hide_layer"
41                                  #_("Legend: %s") % map.Title())  PROPS_BMP = "layer_properties"
   
         ##topBox = wxBoxSizer(wxVERTICAL)  
   
         #panel = LegendPanel(self, map)  
   
         #self.panel = panel  
   
         #topBox.Add(panel, 1, wxGROW, 4)  
   
         ##self.SetAutoLayout(True)  
         ##self.SetSizer(topBox)  
42    
     #def GetLegendPanel(self):  
         #return self.panel  
43    
     #def OnClose(self, event):  
         #NonModalDialog.OnClose(self, event)  
   
         #self.panel.SetMap(None)  
       
44  class LegendPanel(DockPanel):  class LegendPanel(DockPanel):
45    
46      def __init__(self, parent, map, mainWindow):      def __init__(self, parent, map, mainWindow):
# Line 64  class LegendPanel(DockPanel): Line 49  class LegendPanel(DockPanel):
49          self.mainWindow = mainWindow          self.mainWindow = mainWindow
50          self.parent = parent          self.parent = parent
51    
         panelBox = wxBoxSizer(wxVERTICAL)  
   
         buttonBox = wxGridSizer(2, 3, 0, 0)  
   
52          self.buttons = []          self.buttons = []
53    
54          button = wxButton(self, ID_LEGEND_MOVEUP, _("Move Up"))          panelBox = wxBoxSizer(wxVERTICAL)
55          buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
56          self.buttons.append(button)          self.toolBar = wxToolBar(self, -1)
57            self.toolBar.SetToolBitmapSize(wxSize(24, 24))
         button = wxButton(self, ID_LEGEND_SHOWLAYER, _("Show Layer"))  
         buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
         self.buttons.append(button)  
   
         button = wxButton(self, ID_LEGEND_CLASSIFY, _("Classify"))  
         buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
         self.buttons.append(button)  
   
         button = wxButton(self, ID_LEGEND_MOVEDOWN, _("Move Down"))  
         buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
         self.buttons.append(button)  
   
         button = wxButton(self, ID_LEGEND_HIDELAYER, _("Hide Layer"))  
         buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
         self.buttons.append(button)  
   
 #       button = wxButton(self, ID_LEGEND_DOCK, _("Dock"))  
 #       buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
 #       self.buttons.append(button)  
   
 #       button = wxButton(self, ID_LEGEND_UNDOCK, _("Undock"))  
 #       buttonBox.Add(button, 0, wxGROW | wxLEFT | wxRIGHT, 0)  
 #       self.buttons.append(button)  
   
   
         EVT_BUTTON(self, ID_LEGEND_MOVEUP, self._OnMoveUp)  
         EVT_BUTTON(self, ID_LEGEND_MOVEDOWN, self._OnMoveDown)  
         EVT_BUTTON(self, ID_LEGEND_CLASSIFY, self._OnClassify)  
         EVT_BUTTON(self, ID_LEGEND_SHOWLAYER, self._OnShowLayer)  
         EVT_BUTTON(self, ID_LEGEND_HIDELAYER, self._OnHideLayer)  
         #EVT_BUTTON(self, ID_LEGEND_DOCK, self._OnDock)  
         #EVT_BUTTON(self, ID_LEGEND_UNDOCK, self._OnUndock)  
58    
59          panelBox.Add(buttonBox, 0, 0, 4)          bmp = resource.GetBitmapResource(RAISE_BMP, wxBITMAP_TYPE_XPM)
60            self.toolBar.AddTool(ID_LEGEND_RAISE, bmp,
61                shortHelpString=_("Raise Layer"))
62    
63            bmp = resource.GetBitmapResource(LOWER_BMP, wxBITMAP_TYPE_XPM)
64            self.toolBar.AddTool(ID_LEGEND_LOWER, bmp,
65                shortHelpString=_("Lower Layer"))
66    
67            bmp = resource.GetBitmapResource(SHOW_BMP, wxBITMAP_TYPE_XPM)
68            self.toolBar.AddTool(ID_LEGEND_SHOWLAYER, bmp,
69                shortHelpString=_("Show Layer"))
70    
71            bmp = resource.GetBitmapResource(HIDE_BMP, wxBITMAP_TYPE_XPM)
72            self.toolBar.AddTool(ID_LEGEND_HIDELAYER, bmp,
73                shortHelpString=_("Hide Layer"))
74    
75            bmp = resource.GetBitmapResource(PROPS_BMP, wxBITMAP_TYPE_XPM)
76            self.toolBar.AddTool(ID_LEGEND_PROPS, bmp,
77                shortHelpString=_("Edit Layer Properties"))
78    
79            self.toolBar.Realize()
80            panelBox.Add(self.toolBar, 0, wxALL, 0)
81    
82            EVT_TOOL(self, ID_LEGEND_RAISE, self._OnMoveUp)
83            EVT_TOOL(self, ID_LEGEND_LOWER, self._OnMoveDown)
84            EVT_TOOL(self, ID_LEGEND_PROPS, self._OnProperties)
85            EVT_TOOL(self, ID_LEGEND_SHOWLAYER, self._OnShowLayer)
86            EVT_TOOL(self, ID_LEGEND_HIDELAYER, self._OnHideLayer)
87    
88          self.tree = LegendTree(self, ID_LEGEND_TREE, map, mainWindow)          self.tree = LegendTree(self, ID_LEGEND_TREE, map, mainWindow)
89    
90          panelBox.Add(self.tree, 1, wxGROW, 4)          panelBox.Add(self.tree, 1, wxGROW, 0)
91    
92            #panelBox.Fit(self)
93    
94          self.SetAutoLayout(True)          self.SetAutoLayout(True)
95          self.SetSizer(panelBox)          self.SetSizer(panelBox)
96          panelBox.SetSizeHints(self)          panelBox.SetSizeHints(self)
97    
         #panelBox.SetSizeHints(self.parent)  
98    
99          self.panelBox = panelBox          self.panelBox = panelBox
100    
101            self.__EnableButtons(False)
102    
103            self.Create()
104    
105            EVT_CLOSE(self, self._OnClose)
106    
107    
108      def GetMap(self):      def GetMap(self):
109          return self.tree.GetMap()          return self.tree.GetMap()
110    
111      def SetMap(self, map):      def SetMap(self, map):
112          self.tree.SetMap(map)          self.tree.SetMap(map)
113    
114      def DoOnSelChanged(self):      def DoOnSelChanged(self, layer, group):
115          self.__EnableButtons(self.tree.GetSelection().IsOk())  
116            ok = isinstance(layer, Layer)
117            self.__EnableButtons(ok)
118    
119            self.mainWindow.SelectLayer(layer)
120    
121        def DoOnProperties(self):
122            list = self.tree.GetSelectedHierarchy()
123    
124            ok = isinstance(list[0], Layer)
125            if ok:
126                self.mainWindow.OpenLayerProperties(list[0], list[1])
127    
128        def Destroy(self):
129            self.__Close()
130    
131      def _OnClassify(self, event):      def _OnProperties(self, event):
132          self.tree.DoOnClassify()          self.DoOnProperties()
133    
134      def _OnMoveUp(self, event):      def _OnMoveUp(self, event):
135          self.tree.MoveCurrentItemUp()          self.tree.MoveCurrentItemUp()
# Line 143  class LegendPanel(DockPanel): Line 141  class LegendPanel(DockPanel):
141          self.tree.DoOnShowLayer()          self.tree.DoOnShowLayer()
142          pass          pass
143    
144        #def Close(self, force = False):
145            #DockPanel.Close(self, force)
146            
147        def _OnClose(self, event):
148            self.__Close()
149    
150      def _OnHideLayer(self, event):      def _OnHideLayer(self, event):
151          self.tree.DoOnHideLayer()          self.tree.DoOnHideLayer()
152          pass          pass
153    
     def _OnDock(self, event):  
         self.Dock()  
   
     def _OnUndock(self, event):  
         self.UnDock()  
   
154      def __EnableButtons(self, on):      def __EnableButtons(self, on):
155          for b in self.buttons:          self.toolBar.EnableTool(ID_LEGEND_RAISE, on)
156              b.Enable(on)          self.toolBar.EnableTool(ID_LEGEND_LOWER, on)
157            self.toolBar.EnableTool(ID_LEGEND_SHOWLAYER,  on)
158            self.toolBar.EnableTool(ID_LEGEND_HIDELAYER,  on)
159            self.toolBar.EnableTool(ID_LEGEND_PROPS, on)
160    
161        def __Close(self):
162            self.tree.Close()
163    
164  class LegendTree(wxTreeCtrl):  class LegendTree(wxTreeCtrl):
165    
# Line 164  class LegendTree(wxTreeCtrl): Line 168  class LegendTree(wxTreeCtrl):
168                              style = wxTR_DEFAULT_STYLE | wxTR_HIDE_ROOT,                              style = wxTR_DEFAULT_STYLE | wxTR_HIDE_ROOT,
169                              size = (200, 200))                              size = (200, 200))
170    
171            self.mainWindow = mainWindow
172          self.map = None          self.map = None
173          self.parent = parent          self.parent = parent
174          self.layer2id = None          self.layer2id = {}
   
175    
176          self.image_list = None          self.image_list = None
177          self.emptyImageIndex = 0          self.emptyImageIndex = 0
# Line 177  class LegendTree(wxTreeCtrl): Line 181  class LegendTree(wxTreeCtrl):
181          EVT_TREE_ITEM_ACTIVATED(self, ID_LEGEND_TREE, self._OnItemActivated)          EVT_TREE_ITEM_ACTIVATED(self, ID_LEGEND_TREE, self._OnItemActivated)
182          EVT_TREE_SEL_CHANGED(self, ID_LEGEND_TREE, self._OnSelChanged)          EVT_TREE_SEL_CHANGED(self, ID_LEGEND_TREE, self._OnSelChanged)
183    
184            EVT_CLOSE(self, self._OnClose)
185    
186          self.SetMap(map)          self.SetMap(map)
187    
188        def _OnClose(self, event):
189            self.SetMap(None)
190    
191      def GetMap(self):      def GetMap(self):
192          return self.map          return self.map
193    
# Line 190  class LegendTree(wxTreeCtrl): Line 199  class LegendTree(wxTreeCtrl):
199    
200          if self.map is not None:          if self.map is not None:
201              for msg, func in sub_list: self.map.Unsubscribe(msg, func)              for msg, func in sub_list: self.map.Unsubscribe(msg, func)
202                #self.mainWindow.application.Unsubscribe(SESSION_REPLACED,
203                    #self._OnMsgMapsChanged)
204                #try:
205                    #self.mainWindow.application.session.Unsubscribe(MAPS_CHANGED,
206                        #self._OnMsgMapsChanged)
207                #except ConnectorError:
208                    #pass
209              self.__DeleteAllItems()              self.__DeleteAllItems()
210                    
211          self.map = map          self.map = map
212    
213          if self.map is not None:          if self.map is not None:
214              for msg, func in sub_list: self.map.Subscribe(msg, func)              for msg, func in sub_list: self.map.Subscribe(msg, func)
215                #self.mainWindow.application.session.Subscribe(MAPS_CHANGED,
216                    #self._OnMsgMapsChanged)
217                #self.mainWindow.application.Subscribe(SESSION_REPLACED,
218                    #self._OnMsgMapsChanged)
219              self.__FillTree(self.map)              self.__FillTree(self.map)
220    
221                            
222      def MoveCurrentItemUp(self):      def MoveCurrentItemUp(self):
223          cur_id = self.GetSelection()          cur_id = self.GetSelection()
224          assert(cur_id.IsOk())          assert cur_id.IsOk()
225    
226          cur_data = self.GetPyData(cur_id)          cur_data = self.GetPyData(cur_id)
227    
# Line 217  class LegendTree(wxTreeCtrl): Line 237  class LegendTree(wxTreeCtrl):
237          elif isinstance(cur_data, ClassGroup):          elif isinstance(cur_data, ClassGroup):
238              pass              pass
239          else:          else:
240              assert(False, "Shouldn't be here.")              assert False, "Shouldn't be here."
241              pass              pass
242    
243      def MoveCurrentItemDown(self):      def MoveCurrentItemDown(self):
244          cur_id = self.GetSelection()          cur_id = self.GetSelection()
245          assert(cur_id.IsOk())          assert cur_id.IsOk()
246    
247          cur_data = self.GetPyData(cur_id)          cur_data = self.GetPyData(cur_id)
248    
# Line 231  class LegendTree(wxTreeCtrl): Line 251  class LegendTree(wxTreeCtrl):
251          elif isinstance(cur_data, ClassGroup):          elif isinstance(cur_data, ClassGroup):
252              pass              pass
253          else:          else:
254              assert(False, "Shouldn't be here.")              assert False, "Shouldn't be here."
255              pass              pass
256    
257    
# Line 248  class LegendTree(wxTreeCtrl): Line 268  class LegendTree(wxTreeCtrl):
268    
269    
270      def DoOnShowLayer(self):      def DoOnShowLayer(self):
271          self.__ShowHideLayer(True)          #self.__ShowHideLayer(True)
272            layer, group = self.GetSelectedHierarchy()
273            layer.SetVisible(True)
274    
275      def DoOnHideLayer(self):      def DoOnHideLayer(self):
276          self.__ShowHideLayer(False)          #self.__ShowHideLayer(False)
277            layer, group = self.GetSelectedHierarchy()
278            layer.SetVisible(False)
279    
280      def DoOnClassify(self):      def Sort(self):
281          id = self.GetSelection()          self.SortChildren(self.GetRootItem())
         assert(id.IsOk())  
         assert(id.IsOk())  
282    
283          item = self.GetPyData(id)      def GetSelectedHierarchy(self):
284          if isinstance(item, ClassGroup):          id = self.GetSelection()
             id = self.GetItemParent(id)  
             assert(id.IsOk())  
             item = self.GetPyData(id)  
285    
286          # XXX: THIS IS SUCH AWFUL STYLE! YUCK!          if not id.IsOk():
287          self.parent.mainWindow.OpenClassifier(item)              return (None, None)
         #assert(False, "XXX: FIXME HERE")  
288    
289      def Sort(self):          layer = self.GetPyData(id)
290          self.SortChildren(self.GetRootItem())          group = None
291    
292            if isinstance(layer, ClassGroup):
293                id = self.GetItemParent(id)
294                assert id.IsOk()
295                group = layer
296                layer = self.GetPyData(id)
297    
298            return (layer, group)
299    
300        def _OnMsgMapsChanged(self):
301            #print self.map is self.mainWindow.Map()
302            self.SetMap(self.mainWindow.Map())
303            
304      def _OnSelChanged(self, event):      def _OnSelChanged(self, event):
305          self.parent.DoOnSelChanged()          self.__UpdateSelection()
306    
307      def _OnItemActivated(self, event):      def _OnItemActivated(self, event):
308          self.DoOnClassify()          self.parent.DoOnProperties()
309    
310      def _OnMsgLayerChanged(self, layer):      def _OnMsgLayerChanged(self, layer):
311          assert(isinstance(layer, Layer))          assert isinstance(layer, Layer)
312    
313          id = self.layer2id[layer]          id = self.layer2id[layer]
314            assert id.IsOk()
315    
316          self.__FillTreeLayer(id)          # XXX: yikes! this is so bad, we should be doing what is
317            #      commented out, but there is a problem with keeping
318            #      track of the images in the image list when we replace
319            #      a layer. it ends up causing a seg fault.
320            self.__FillTree(self.map)
321            self.__UpdateSelection()
322            #self.__FillTreeLayer(id)
323    
324      def _OnMsgMapStackingChanged(self, *args):      def _OnMsgMapStackingChanged(self, *args):
325          self.Sort()          self.Sort()
# Line 290  class LegendTree(wxTreeCtrl): Line 327  class LegendTree(wxTreeCtrl):
327    
328          if id.IsOk():          if id.IsOk():
329              self.EnsureVisible(id)              self.EnsureVisible(id)
330            self.__UpdateSelection()
331    
332      def _OnMsgMapLayersAddedRemoved(self, map):      def _OnMsgMapLayersAddedRemoved(self, map):
333          assert(id(map) == id(self.map))          assert map is self.map
334    
335          self.__FillTree(self.map)          self.__FillTree(self.map)
336            self.__UpdateSelection()
337    
338        def _OnMsgLayerVisibilityChanged(self, layer):
339            assert isinstance(layer, Layer)
340    
341            self.__ShowHideLayer(layer)
342            self.__UpdateSelection()
343    
344        def _OnMsgLayerTitleChanged(self, layer):
345    
346            id = self.layer2id[layer]
347            if id.IsOk():
348                self.SetItemText(id, layer.Title())
349            self.__UpdateSelection()
350    
351        def __UpdateSelection(self):
352            layer, group = self.GetSelectedHierarchy()
353            self.parent.DoOnSelChanged(layer, group)
354            
355      def __FillTree(self, map):      def __FillTree(self, map):
356    
357          assert(isinstance(map, Map))          assert isinstance(map, Map)
358    
359          self.Freeze()          self.Freeze()
360    
# Line 325  class LegendTree(wxTreeCtrl): Line 381  class LegendTree(wxTreeCtrl):
381              for l in map.Layers():              for l in map.Layers():
382                  id = self.PrependItem(root, l.Title())                  id = self.PrependItem(root, l.Title())
383                  l.Subscribe(LAYER_CHANGED, self._OnMsgLayerChanged)                  l.Subscribe(LAYER_CHANGED, self._OnMsgLayerChanged)
384                    l.Subscribe(LAYER_VISIBILITY_CHANGED,
385                                self._OnMsgLayerVisibilityChanged)
386                    l.Subscribe(TITLE_CHANGED, self._OnMsgLayerTitleChanged)
387                  self.SetPyData(id, l)                  self.SetPyData(id, l)
388                  font = self.GetItemFont(id)                  self.__SetVisibilityStyle(l.Visible(), id)
                 if not l.Visible():  
                     font.SetStyle(wxITALIC)  
                     self.SetItemFont(id, font)  
389    
390                  self.layer2id[l] = id                  self.layer2id[l] = id
391    
# Line 349  class LegendTree(wxTreeCtrl): Line 405  class LegendTree(wxTreeCtrl):
405    
406          shapeType = layer.ShapeType()          shapeType = layer.ShapeType()
407    
408            show = layer.Visible()
409          for g in clazz:          for g in clazz:
410              id = self.AppendItem(pid, g.GetDisplayText())              if g.IsVisible():
411              self.SetPyData(id, g)                  id = self.AppendItem(pid, g.GetDisplayText())
412                    self.SetPyData(id, g)
413              bmp = self.__BuildGroupImage(g, shapeType)                  self.__SetVisibilityStyle(show, id)
414    
415              if bmp is None:                  bmp = self.__BuildGroupImage(g, shapeType)
416                  self.SetItemImage(id, self.emptyImageIndex)  
417              else:                  if bmp is None:
418                  i = self.image_list.Add(bmp)                      self.SetItemImage(id, self.emptyImageIndex)
419                  self.SetItemImage(id, i)                  else:
420                        i = self.image_list.Add(bmp)
421              #self.layer2id[g] = id                      self.SetItemImage(id, i)
422    
423          self.Thaw()          self.Thaw()
424    
425      def __BuildGroupImage(self, group, shapeType):      def __BuildGroupImage(self, group, shapeType):
426          assert(isinstance(group, ClassGroup))          assert isinstance(group, ClassGroup)
427    
428          bmp = wxEmptyBitmap(BMP_SIZE_W, BMP_SIZE_H)          bmp = wxEmptyBitmap(BMP_SIZE_W, BMP_SIZE_H)
429          #brush = wxBrush(Color2wxColour(item[1]), wxSOLID)          #brush = wxBrush(Color2wxColour(item[1]), wxSOLID)
# Line 379  class LegendTree(wxTreeCtrl): Line 436  class LegendTree(wxTreeCtrl):
436          return bmp          return bmp
437    
438      def __DeleteAllItems(self):      def __DeleteAllItems(self):
         self.DeleteAllItems()  
         self.layer2id = {}  
439    
440            while len(self.layer2id) > 0:
441                layer, id = self.layer2id.popitem()
442                layer.Unsubscribe(LAYER_CHANGED,
443                                  self._OnMsgLayerChanged)
444                layer.Unsubscribe(LAYER_VISIBILITY_CHANGED,
445                                  self._OnMsgLayerVisibilityChanged)
446                layer.Unsubscribe(TITLE_CHANGED, self._OnMsgLayerTitleChanged)
447    
448      def __ShowHideLayer(self, show):          self.DeleteAllItems()
         id = self.GetSelection()  
         assert(id.IsOk())  
           
         item = self.GetPyData(id)  
         if isinstance(item, ClassGroup):  
             id = self.GetItemParent(id)  
             assert(id.IsOk())  
             item = self.GetPyData(id)  
449    
450        def __SetVisibilityStyle(self, visible, id):
451            font = self.GetItemFont(id)
452    
453          if show != item.Visible():          if visible:
454                font.SetStyle(wxNORMAL)
455                color = wxBLACK
456            else:
457                font.SetStyle(wxITALIC)
458                color = wxLIGHT_GREY
459    
460              item.SetVisible(show)          self.SetItemTextColour(id, color)
461            self.SetItemFont(id, font)
462            
463        def __ShowHideLayer(self, layer):
464            parent = self.layer2id[layer]
465            assert parent.IsOk()
466    
467              font = self.GetItemFont(id)          visible = layer.Visible()
             if show:  
                 font.SetStyle(wxNORMAL)  
                 self.SetItemFont(id, font)  
             else:  
                 font.SetStyle(wxITALIC)  
                 self.SetItemFont(id, font)  
468    
469            self.__SetVisibilityStyle(visible, parent)
470    
471            id, cookie = self.GetFirstChild(parent, 123)
472    
473            while id.IsOk():
474                self.__SetVisibilityStyle(visible, id)
475                id, cookie = self.GetNextChild(parent, cookie)
476                
Legend:
Removed from v.562  
changed lines
  Added in v.665
[email protected]
 ViewVC Help
Powered by ViewVC 1.1.26