/[schmitzm]/branches/2.0-RC2/src/skrueger/geotools/selection/FeatureMapLayerSelectionSynchronizer.java
ViewVC logotype

Diff of /branches/2.0-RC2/src/skrueger/geotools/selection/FeatureMapLayerSelectionSynchronizer.java

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

trunk/src/skrueger/geotools/selection/FeatureMapLayerSelectionSynchronizer.java revision 125 by alfonx, Sat May 23 11:33:59 2009 UTC branches/1.0-gt2-2.6/src/skrueger/geotools/selection/FeatureMapLayerSelectionSynchronizer.java revision 440 by alfonx, Mon Oct 5 13:33:45 2009 UTC
# Line 1  Line 1 
1    /*******************************************************************************
2     * Copyright (c) 2009 Martin O. J. Schmitz.
3     *
4     * This file is part of the SCHMITZM library - a collection of utility
5     * classes based on Java 1.6, focusing (not only) on Java Swing
6     * and the Geotools library.
7     *
8     * The SCHMITZM project is hosted at:
9     * http://wald.intevation.org/projects/schmitzm/
10     *
11     * This program is free software; you can redistribute it and/or
12     * modify it under the terms of the GNU Lesser General Public License
13     * as published by the Free Software Foundation; either version 3
14     * of the License, or (at your option) any later version.
15     *
16     * This program is distributed in the hope that it will be useful,
17     * but WITHOUT ANY WARRANTY; without even the implied warranty of
18     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
19     * GNU General Public License for more details.
20     *
21     * You should have received a copy of the GNU Lesser General Public License (license.txt)
22     * along with this program; if not, write to the Free Software
23     * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
24     * or try this link: http://www.gnu.org/licenses/lgpl.html
25     *
26     * Contributors:
27     *     Martin O. J. Schmitz - initial API and implementation
28     *     Stefan A. Krüger - additional utility classes
29     ******************************************************************************/
30  /**  /**
31   Copyright 2008 Stefan Alfons Krüger   Copyright 2008 Stefan Alfons Krüger
32    
33   atlas-framework - This file is part of the Atlas Framework   atlas-framework - This file is part of the Atlas Framework
34    
35   This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.   This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.
# Line 13  Line 42 
42   **/   **/
43  package skrueger.geotools.selection;  package skrueger.geotools.selection;
44    
45    import java.awt.RenderingHints;
46  import java.beans.PropertyChangeEvent;  import java.beans.PropertyChangeEvent;
47  import java.beans.PropertyChangeListener;  import java.beans.PropertyChangeListener;
48  import java.util.Arrays;  import java.util.HashMap;
49  import java.util.Collection;  import java.util.HashSet;
50    import java.util.Iterator;
51    import java.util.Set;
52  import java.util.Vector;  import java.util.Vector;
53    
54  import javax.swing.JTable;  import javax.swing.JTable;
55  import javax.swing.ListSelectionModel;  import javax.swing.ListSelectionModel;
56  import javax.swing.event.ListSelectionListener;  import javax.swing.event.ListSelectionListener;
57    
 import org.geotools.feature.Feature;  
 import org.geotools.feature.FeatureCollection;  
58  import org.geotools.map.MapLayer;  import org.geotools.map.MapLayer;
59    import org.geotools.renderer.GTRenderer;
60    import org.geotools.renderer.label.LabelCacheImpl;
61    import org.geotools.renderer.lite.StreamingRenderer;
62  import org.geotools.styling.FeatureTypeStyle;  import org.geotools.styling.FeatureTypeStyle;
63  import org.geotools.styling.Style;  import org.geotools.styling.Style;
64  import org.opengis.filter.Filter;  import org.geotools.styling.visitor.DuplicatingStyleVisitor;
65  import org.opengis.filter.FilterVisitor;  import org.opengis.feature.simple.SimpleFeature;
66    import org.opengis.filter.identity.FeatureId;
67    
68    import schmitzm.geotools.FilterUtil;
69    import schmitzm.geotools.GTUtil;
70  import schmitzm.geotools.gui.JMapPane;  import schmitzm.geotools.gui.JMapPane;
71  import schmitzm.geotools.map.event.FeatureSelectedEvent;  import schmitzm.geotools.map.event.FeatureSelectedEvent;
72  import schmitzm.geotools.map.event.JMapPaneEvent;  import schmitzm.geotools.map.event.JMapPaneEvent;
73  import schmitzm.geotools.map.event.JMapPaneListener;  import schmitzm.geotools.map.event.JMapPaneListener;
74  import schmitzm.geotools.styling.StylingUtil;  import schmitzm.geotools.styling.StylingUtil;
 import schmitzm.lang.LangUtil;  
75  import skrueger.geotools.MapPaneToolBar;  import skrueger.geotools.MapPaneToolBar;
76  import skrueger.geotools.StyledMapInterface;  import skrueger.geotools.StyledLayerInterface;
77    
78  /**  /**
79   * This class keeps the selection of a (feature) {@link JTable} synchronized   * This class keeps the selection of a (feature) {@link JTable} synchronized
# Line 67  public class FeatureMapLayerSelectionSyn Line 102  public class FeatureMapLayerSelectionSyn
102           * model.           * model.
103           */           */
104          protected final MapLayer mapLayer;          protected final MapLayer mapLayer;
105          protected final StyledMapInterface<?> styledMapLayer;          protected final StyledLayerInterface<?> styledLayer;
106          protected final JMapPane mapPane;          protected final JMapPane mapPane;
107          private final MapPaneToolBar toolBar;          private final MapPaneToolBar toolBar;
108            private final HashMap<Object, Object> defaultGTRenderingHints;
109    
110          /**          /**
111           * Creates a new synchronizer           * Creates a new synchronizer
# Line 83  public class FeatureMapLayerSelectionSyn Line 119  public class FeatureMapLayerSelectionSyn
119           */           */
120          public FeatureMapLayerSelectionSynchronizer(          public FeatureMapLayerSelectionSynchronizer(
121                          StyledFeatureLayerSelectionModel layerSelModel,                          StyledFeatureLayerSelectionModel layerSelModel,
122                          StyledMapInterface<?> styledMapLayer, MapLayer mapLayer,                          StyledLayerInterface<?> styledLayer, MapLayer mapLayer,
123                          JMapPane mapPane, MapPaneToolBar toolBar) {                          JMapPane mapPane, MapPaneToolBar toolBar, HashMap<Object, Object> defaultGTRenderingHints) {
124    
125                  super(layerSelModel);                  super(layerSelModel);
126                  this.styledMapLayer = styledMapLayer;                  this.styledLayer = styledLayer;
127    
128                  this.mapLayer = mapLayer;                  this.mapLayer = mapLayer;
129                  this.mapPane = mapPane;                  this.mapPane = mapPane;
130                  this.toolBar = toolBar;                  this.toolBar = toolBar;
131                    if (defaultGTRenderingHints != null)
132                            this.defaultGTRenderingHints = defaultGTRenderingHints;
133                    else
134                            this.defaultGTRenderingHints = new HashMap<Object, Object>();
135          }          }
136    
137          /**          /**
# Line 106  public class FeatureMapLayerSelectionSyn Line 146  public class FeatureMapLayerSelectionSyn
146           */           */
147          @Override          @Override
148          public void propertyChange(PropertyChangeEvent evt) {          public void propertyChange(PropertyChangeEvent evt) {
149    
150                    if (!isEnabled())
151                            return;
152    
153                  if (!(evt instanceof StyledLayerSelectionEvent))                  if (!(evt instanceof StyledLayerSelectionEvent))
154                          return;                          return;
155                  StyledLayerSelectionEvent selEvt = (StyledLayerSelectionEvent) evt;                  StyledLayerSelectionEvent selEvt = (StyledLayerSelectionEvent) evt;
# Line 128  public class FeatureMapLayerSelectionSyn Line 172  public class FeatureMapLayerSelectionSyn
172                  selectionChangeCausedByMe = false;                  selectionChangeCausedByMe = false;
173          }          }
174    
175            /**
176             * Changes the Style of the {@link MapLayer} to reflect changes of the
177             * selection.
178             *
179             * @param newSelection
180             *            A {@link Vector} of SimpleFeature-IDs that are selected.
181             */
182          private void changeLayerStyle(final Vector<String> newSelection) {          private void changeLayerStyle(final Vector<String> newSelection) {
                 Style selectionMapStyle = null;  
183                  try {                  try {
184                            
185                            Style originalStyle = mapLayer.getStyle();
186                          if (newSelection.isEmpty()) {                          if (newSelection.isEmpty()) {
187    
188                                  selectionMapStyle = styledMapLayer.getStyle();                                  // Check if the Style contains a SELECTION FTS
189                                  LOGGER.debug("NO SELECTION .. set to original style directly");                                  
190                                    FeatureTypeStyle[] clone = originalStyle.featureTypeStyles().toArray( new FeatureTypeStyle[] {} ).clone();
191                                    
192                                    for (FeatureTypeStyle fts : clone) {
193                                            if (fts.getName() != null
194                                                            && fts.getName().equals(SELECTION_STYLING)) {
195                                                    originalStyle.featureTypeStyles().remove(fts);
196                                                    
197                                                    replaceRenderer();
198    //                                              mapPane.refresh();
199                                                    
200    
201                                                    return;
202                                            }
203                                    }
204    
205                          } else {                          } else {
206                                  LOGGER.debug("SELECTION .. change style");                                  LOGGER.debug("SELECTION .. change style");
207    
208                                  // We take Style from the MapLayer that is displayed at the                                  // We take Style from the MapLayer that is displayed at the
209                                  // moment. We do not use the styledMapLayer.getStyle, because in                                  // moment. We do not use the styledLayer.getStyle, because in
210                                  // the atlas, this always return the default style, but                                  // the atlas, this always return the default style, but
211                                  // additionaly styles might be selected.                                  // additional styles might be selected.
212                                  // Taking the style from the mapLayer indicated, that we have to                                  // Taking the style from the mapLayer indicated, that we have to
213                                  // remove any selection rules first.                                  // remove any selection rules first.
                                 Style originalStyle = mapLayer.getStyle();  
214    
215                                  // TODO The default style is not good here. We need                                  FeatureTypeStyle selectionFTStyle = StylingUtil
216                                  // .createSelectionStyle(normalStyle, geoObj);                                                  .createSelectionStyle(styledLayer.getGeoObject());
                                 selectionMapStyle = StylingUtil  
                                                 .createDefaultStyle(styledMapLayer.getGeoObject());  
   
                                 selectionMapStyle.getFeatureTypeStyles()[0]  
                                                 .setName(SELECTION_STYLING);  
   
                                 // Symbolizer sss =  
                                 // selectionMapStyle.getFeatureTypeStyles()[0].getRules()[0].getSymbolizers()[0];  
                                 // if (sss instanceof PolygonSymbolizer) {  
                                 // PolygonSymbolizer ps = (PolygonSymbolizer) sss;  
                                 // ps.getFill().setOpacity( FilterUtil.FILTER_FAC.literal(0.5));  
                                 // }  
   
                                 // Rule selectedRule = StylingUtil.STYLE_FACTORY.createRule();  
                                 selectionMapStyle.getFeatureTypeStyles()[0].getRules()[0]  
                                                 .setFilter(new Filter() {  
   
                                                         @Override  
                                                         public Object accept(FilterVisitor visitor,  
                                                                         Object extraData) {  
                                                                 return null;  
                                                         }  
   
                                                         @Override  
                                                         public boolean evaluate(Object obj) {  
                                                                 if (obj instanceof Feature) {  
                                                                         Feature f = (Feature) obj;  
                                                                         // TODO BAD CODE! says Martin.. i am fine  
                                                                         // with it.. well.. not great...  
                                                                         for (String ffID : newSelection) {  
                                                                                 if (ffID.equals(f.getID()))  
                                                                                         return true;  
                                                                         }  
                                                                         return false;  
   
                                                                 }  
                                                                 return false;  
                                                         }  
   
                                                 });  
   
                                 FeatureTypeStyle[] originalFeatureTypeStyles = originalStyle  
                                                 .getFeatureTypeStyles();  
                                 FeatureTypeStyle[] newFeatureTypes;  
                                 if (originalFeatureTypeStyles[originalFeatureTypeStyles.length - 1]  
                                                 .getName() != null  
                                                 && originalFeatureTypeStyles[originalFeatureTypeStyles.length - 1]  
                                                                 .getName().equals(SELECTION_STYLING)) {  
                                         newFeatureTypes = Arrays.copyOf(originalFeatureTypeStyles,  
                                                         originalFeatureTypeStyles.length - 1);  
                                 } else {  
                                         newFeatureTypes = originalFeatureTypeStyles;  
                                 }  
                                 //                                
                                 // // REMOVE any Selection_Styling FTS (usually the last one)  
                                 //                                
                                 // for (FeatureTypeStyle fts : originalFeatureTypeStyles){  
                                 // if (fts.getName().equals(SELECTION_STYLING)) continue;  
                                 // newFeatureTypes =  
                                 //                                        
                                 // LangUtil.extendArray(  
                                 // originalFeatureTypeStyles, selectionMapStyle  
                                 // .getFeatureTypeStyles());  
                                 // }  
   
                                 // The last FTS is the selection FTS  
                                 newFeatureTypes = LangUtil.extendArray(newFeatureTypes,  
                                                 selectionMapStyle.getFeatureTypeStyles());  
217    
218                                  selectionMapStyle.setFeatureTypeStyles(newFeatureTypes);                                  selectionFTStyle.setName(SELECTION_STYLING);
219    
220                                  // selectionMapStyle.setFeatureTypeStyles(originalStyle.getF)                                  /**
221                                     *
222                                     * Add a Filter to the selectionMapStyle, so that it is only
223                                     * used on objects that are selected. <br/>
224                                     *
225                                     * Note 1:<br/>
226                                     * It is NEVER allowed to GeoTools extend Filter () { .. } (and
227                                     * write tests into the evaluate block). Especially for the
228                                     * ShapeFileRenderer, we may only use a geotools Filter.<br/>
229                                     *
230                                     * Note 2:<br/>
231                                     * The FilterUtil.FILTER_FAC2.id(fids) wants a set of
232                                     * FeatureId-Objects!
233                                     */
234    
235                                    Set<FeatureId> fids = new HashSet<FeatureId>();
236                                    for (String fid : newSelection) {
237                                            fids.add(FilterUtil.FILTER_FAC2.featureId(fid));
238                                    }
239    
240                                  // Flat copy the style                                  selectionFTStyle.rules().get(0).setFilter(
241                                                    FilterUtil.FILTER_FAC2.id(fids));
242    
243                                  // selectionMapStyle =                                  // Maybe there has already been another selection
244                                  // StylingUtil.createDefaultStyle(styledMapLayer.getGeoObject());                                  // FeatureTypeStyle... Let's replace it...
245                                    boolean foundAndReplaced = false;
246                                    for (FeatureTypeStyle fts : originalStyle.featureTypeStyles()) {
247                                            if (fts.getName() != null
248                                                            && fts.getName().equals(SELECTION_STYLING)) {
249                                                    foundAndReplaced = true;
250                                                    fts.rules().clear();
251                                                    fts.rules().addAll(selectionFTStyle.rules());
252                                                    break;
253                                            }
254                                    }
255                                    if (!foundAndReplaced) {
256                                            originalStyle.featureTypeStyles().add(selectionFTStyle);
257                                    }
258                                    
259                                    
260    
261                                    // Refresh the map
262    //                              mapPane.refresh();
263                                    
264                                    DuplicatingStyleVisitor dsv = new DuplicatingStyleVisitor();
265                                    dsv.visit(originalStyle);
266                                    Style newStyle = (Style)dsv.getCopy();
267                                    
268    //                              Style newStyle = StylingUtil.STYLE_BUILDER.createStyle();
269    //                              newStyle.featureTypeStyles().addAll(originalStyle.featureTypeStyles());
270                                    mapLayer.setStyle(newStyle);
271                                    
272                                    replaceRenderer();
273                          }                          }
274    
                         mapLayer.setStyle(selectionMapStyle);  
                         mapPane.refresh();  
275                  } catch (Exception e) {                  } catch (Exception e) {
276                          LOGGER.error("Error while trying to create a selection style", e);                          LOGGER.error("Error while trying to create a selection style", e);
277                  }                  }
278          }          }
279    
280            private void replaceRenderer() {
281    //
282    //              // Has to be done before we apply the new Renderer
283    //              mapLayer.setStyle(style);
284    
285                    GTRenderer oldRenderer = mapPane.getRenderer();
286    
287                    /**
288                     * Explicitly putting a new instance of LabelCacheDefault into the
289                     * renderer instance, so JMapPane doesn't reuse the old one. This is
290                     * very useful when changing the TextSymbolizer with AtlasStyler<br/>
291                     * SK 9.7.09: It's not enought to user LabelCache.clear(). We can not
292                     * reuse the old Renderer - better to create a new one!
293                     */
294                    final GTRenderer newRenderer = GTUtil.createGTRenderer();
295    
296                    final HashMap<Object, Object> rendererHints = defaultGTRenderingHints;
297                    rendererHints.put(StreamingRenderer.LABEL_CACHE_KEY,
298                                    new LabelCacheImpl());
299    
300                    newRenderer.setRendererHints(rendererHints);
301                    mapPane.setRenderer(newRenderer);
302    
303                    if (oldRenderer != null) {
304                            
305                            RenderingHints java2DHints = oldRenderer.getJava2DHints();
306                            if (java2DHints != null) {
307                                    newRenderer.setJava2DHints(java2DHints);
308                            }
309                            
310                            oldRenderer.setContext(null);
311                            oldRenderer = null;
312                    }
313                    
314                    mapPane.refresh();
315    
316            }
317    
318            /**
319             * Used to synchronize {@link FeatureSelectedEvent}s with the
320             * {@link StyledFeatureLayerSelectionModel}
321             */
322          @Override          @Override
323          public void performMapPaneEvent(JMapPaneEvent e) {          public void performMapPaneEvent(JMapPaneEvent e) {
324    
325                    // Ignore event if it is caused by us or the synchronizer is disabled.
326                    if (!isEnabled() || selectionChangeCausedByMe)
327                            return;
328    
329                    if (!(e instanceof FeatureSelectedEvent)) {
330                            // LOGGER.debug("Ignoring event " + e);
331                            return;
332                    }
333    
334                  /**                  /**
335                   * Only listen to FeatureSelectionEvents if the appropriate tool is                   * Only listen to FeatureSelectedEvents if an appropriate tool is
336                   * selected.                   * selected.
337                   */                   */
338                  final int selectedTool = toolBar.getSelectedTool();                  final int selectedTool = toolBar.getSelectedTool();
339                  if (selectedTool != MapPaneToolBar.TOOL_SELECTION_ADD                  if (selectedTool != MapPaneToolBar.TOOL_SELECTION_ADD
340                                  && selectedTool != MapPaneToolBar.TOOL_SELECTION_REMOVE                                  && selectedTool != MapPaneToolBar.TOOL_SELECTION_REMOVE
                                 && selectedTool != MapPaneToolBar.TOOL_SELECTION_CLEAR  
341                                  && selectedTool != MapPaneToolBar.TOOL_SELECTION_SET) {                                  && selectedTool != MapPaneToolBar.TOOL_SELECTION_SET) {
342                          return;                          return;
343                  }                  }
344    
                 if (!(e instanceof FeatureSelectedEvent)) {  
                         // LOGGER.debug("Ignoring event " + e);  
                         return;  
                 }  
345                  // only listen to events directly coming from JMapPane                  // only listen to events directly coming from JMapPane
346                  // selection (ignore selections from FilterDialog)                  // selection (ignore selections from FilterDialog)
347                  if (e.getSourceObject() != this.mapPane)                  if (e.getSourceObject() != this.mapPane)
# Line 262  public class FeatureMapLayerSelectionSyn Line 349  public class FeatureMapLayerSelectionSyn
349    
350                  FeatureSelectedEvent fse = (FeatureSelectedEvent) e;                  FeatureSelectedEvent fse = (FeatureSelectedEvent) e;
351    
352                  // ignore event if it is caused by the DpLayerVectorSelectionModel                  /**
353                  if (selectionChangeCausedByMe)                   * Checking, that the FeatureSelectedEvent actually contains features
354                     * from this layer
355                     */
356                    final String sourceID = fse.getSourceLayer().getTitle();
357                    final String syncForID = mapLayer.getTitle();
358                    if (sourceID != null && syncForID != null
359                                    && !sourceID.equals(syncForID)) {
360                            LOGGER.debug("Ignoring a FeatureSelectedEvent from " + sourceID);
361                          return;                          return;
362                    }
363    
364                  LOGGER.debug("Do event " + fse);                  LOGGER.debug("do event " + fse);
365    
366                  // Avoid event circles in propertyChange(..)                  // Avoid event circles in propertyChange(..)
367                  selectionChangeCausedByMe = true;                  selectionChangeCausedByMe = true;
368    
369                  if (selectedTool == MapPaneToolBar.TOOL_SELECTION_CLEAR) {                  Iterator<SimpleFeature> fi = fse.getSelectionResult().iterator();
370    
371                    // reset the selection of the DpLayerSelectionModel
372                    // layerSelModel.setValueIsAdjusting(true);
373    
374                    if (selectedTool == MapPaneToolBar.TOOL_SELECTION_ADD) {
375                            layerSelModel.setValueIsAdjusting(true);
376    
377                            for (int fIdx = 0; fi.hasNext(); fIdx++) {
378                                    SimpleFeature f = fi.next();
379                                    layerSelModel.addSelection(f.getID());
380                            }
381                            layerSelModel.setValueIsAdjusting(false);
382                    } else if (selectedTool == MapPaneToolBar.TOOL_SELECTION_SET) {
383                            layerSelModel.setValueIsAdjusting(true);
384                          layerSelModel.clearSelection();                          layerSelModel.clearSelection();
                 } else {  
                         Collection<Feature> selectionResult = (Collection<Feature>) fse  
                                         .getSelectionResult();  
   
                         // reset the selection of the DpLayerSelectionModel  
                         // layerSelModel.setValueIsAdjusting(true);  
   
                         if (selectedTool == MapPaneToolBar.TOOL_SELECTION_ADD) {  
                                 layerSelModel.setValueIsAdjusting(true);  
                                 for (Feature f : selectionResult) {  
                                         layerSelModel.addSelection(f.getID());  
                                 }  
                                 layerSelModel.setValueIsAdjusting(false);  
                         } else if (selectedTool == MapPaneToolBar.TOOL_SELECTION_SET) {  
                                 layerSelModel.setValueIsAdjusting(true);  
                                 layerSelModel.clearSelection();  
385    
386                                  for (Feature f : selectionResult) {                          for (int fIdx = 0; fi.hasNext(); fIdx++) {
387                                          layerSelModel.addSelection(f.getID());                                  SimpleFeature f = fi.next();
388                                  }                                  layerSelModel.addSelection(f.getID());
389                            }
390    
391                                  LOGGER.debug("Setting selection to " + selectionResult.size());                          // LOGGER.debug("Setting selection to " + fi.());
392                                  layerSelModel.setValueIsAdjusting(false);  
393                          } else if (selectedTool == MapPaneToolBar.TOOL_SELECTION_REMOVE) {                          layerSelModel.setValueIsAdjusting(false);
394                                  layerSelModel.setValueIsAdjusting(true);                  } else if (selectedTool == MapPaneToolBar.TOOL_SELECTION_REMOVE) {
395                                  for (Feature f : selectionResult) {                          layerSelModel.setValueIsAdjusting(true);
396                                          layerSelModel.removeSelection(f.getID());                          for (int fIdx = 0; fi.hasNext(); fIdx++) {
397                                  }                                  SimpleFeature f = fi.next();
398                                  layerSelModel.setValueIsAdjusting(false);                                  layerSelModel.removeSelection(f.getID());
399                          }                          }
400                  } // els it's not a Clear Selection command                          layerSelModel.setValueIsAdjusting(false);
401                    }
402    
403                  // Show selected features in the map, which is not automatically done by                  // Show selected features in the map, which is not automatically done by
404                  // the origin: FeatureSelectedEvent                  // the origin: FeatureSelectedEvent
# Line 312  public class FeatureMapLayerSelectionSyn Line 407  public class FeatureMapLayerSelectionSyn
407                  // Danger of event circles in propertyChange(..) banned                  // Danger of event circles in propertyChange(..) banned
408                  selectionChangeCausedByMe = false;                  selectionChangeCausedByMe = false;
409          }          }
410    
411  }  }
Legend:
Removed from v.125  
changed lines
  Added in v.440
[email protected]
 ViewVC Help
Powered by ViewVC 1.1.26