/[schmitzm]/trunk/src/skrueger/geotools/XMapPane.java
ViewVC logotype

Diff of /trunk/src/skrueger/geotools/XMapPane.java

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

revision 654 by alfonx, Mon Feb 1 18:13:14 2010 UTC revision 676 by alfonx, Fri Feb 5 12:37:13 2010 UTC
# Line 13  import java.awt.event.ActionEvent; Line 13  import java.awt.event.ActionEvent;
13  import java.awt.event.ActionListener;  import java.awt.event.ActionListener;
14  import java.awt.event.ComponentAdapter;  import java.awt.event.ComponentAdapter;
15  import java.awt.event.ComponentEvent;  import java.awt.event.ComponentEvent;
 import java.awt.event.InputEvent;  
16  import java.awt.event.MouseEvent;  import java.awt.event.MouseEvent;
17  import java.awt.event.MouseListener;  import java.awt.event.MouseListener;
18  import java.awt.geom.AffineTransform;  import java.awt.geom.AffineTransform;
# Line 100  import com.vividsolutions.jts.geom.Geome Line 99  import com.vividsolutions.jts.geom.Geome
99   */   */
100  public class XMapPane extends JPanel {  public class XMapPane extends JPanel {
101    
102            /**
103             * If {@link #maxExtend} is <code>null</code> the following rules are used
104             * to create a default maximum.
105             * <ul>
106             * <li>Values &lt; 0 : don't grow to fit the monitors aspect ratio, no
107             * margin</li>
108             * <li>Values 0 : grow to fit the monitors aspect ratio, no margin</li>
109             * <li>Values &gt; 0 : grow to fit the monitors aspect ratio, and add a
110             * relative margin</li>
111             * </ul>
112             * **/
113            private double defaultMaxMapExtendMode = .05;
114    
115          // private static final int IMAGETYPE = BufferedImage.TYPE_INT_RGB;          // private static final int IMAGETYPE = BufferedImage.TYPE_INT_RGB;
116          // private static final int IMAGETYPE_withAlpha =          // private static final int IMAGETYPE_withAlpha =
117          // BufferedImage.TYPE_INT_ARGB;          // BufferedImage.TYPE_INT_ARGB;
118          private static final int IMAGETYPE = BufferedImage.TYPE_3BYTE_BGR;          private static final int IMAGETYPE = BufferedImage.TYPE_3BYTE_BGR;
119    
120            public XMapPaneTool getTool() {
121                    return tool;
122            }
123    
124          private static final int IMAGETYPE_withAlpha = BufferedImage.TYPE_4BYTE_ABGR;          private static final int IMAGETYPE_withAlpha = BufferedImage.TYPE_4BYTE_ABGR;
125    
126          private final static Logger LOGGER = Logger.getLogger(XMapPane.class);          private final static Logger LOGGER = Logger.getLogger(XMapPane.class);
# Line 174  public class XMapPane extends JPanel { Line 191  public class XMapPane extends JPanel {
191           * Flag for no-tool.           * Flag for no-tool.
192           */           */
193          public static final int NONE = -123;          public static final int NONE = -123;
194            //
195          /**          // /**
196           * Flag fuer Modus "Kartenausschnitt bewegen". Nicht fuer Window-Auswahl          // * Flag fuer Modus "Kartenausschnitt bewegen". Nicht fuer Window-Auswahl
197           * moeglich!          // * moeglich!
198           *          // *
199           * @see #setState(int)          // * @see #setState(int)
200           */          // */
201          public static final int PAN = 1;          // public static final int PAN = 1;
202            //
203          /**          // /**
204           * Flag fuer Modus "Heran zoomen".          // * Flag fuer Modus "Heran zoomen".
205           *          // *
206           * @see #setState(int)          // * @see #setState(int)
207           * @see #setState(int)          // * @see #setState(int)
208           */          // */
209          public static final int ZOOM_IN = 2;          // public static final int ZOOM_IN = 2;
210            //
211          /**          // /**
212           * Flag fuer Modus "Heraus zoomen". Nicht fuer Window-Auswahl moeglich!          // * Flag fuer Modus "Heraus zoomen". Nicht fuer Window-Auswahl moeglich!
213           *          // *
214           * @see #setState(int)          // * @see #setState(int)
215           */          // */
216          public static final int ZOOM_OUT = 3;          // public static final int ZOOM_OUT = 3;
   
         /**  
          * Flag fuer Modus "SimpleFeature-Auswahl auf allen (sichtbaren) Layern".  
          *  
          * @see #setState(int)  
          * @see #setState(int)  
          */  
         public static final int SELECT_ALL = 103;  
         /**  
          * Flag fuer Modus  
          * "Auswahl nur eines Features, das erste sichtbare von Oben".  
          *  
          * @see #setState(int)  
          * @see #setState(int)  
          */  
         public static final int SELECT_ONE_FROM_TOP = 104;  
         /**  
          * Flag fuer Modus  
          * "SimpleFeature-Auswahl auf dem obersten (sichtbaren) Layer".  
          *  
          * @see #setState(int)  
          * @see #setState(int)  
          */  
         public static final int SELECT_TOP = 4;  
217    
218          /**          /**
219           * {@link Font} used to paint the wait messages into the map           * {@link Font} used to paint the wait messages into the map
# Line 561  public class XMapPane extends JPanel { Line 554  public class XMapPane extends JPanel {
554           * thread.           * thread.
555           */           */
556          final private Timer startRenderThreadsTimer;          final private Timer startRenderThreadsTimer;
557            //
558          /**          // /**
559           * The default state is ZOOM_IN, hence by default the          // * The default state is ZOOM_IN, hence by default the
560           * {@link #xMapPaneMouseListener} is also enabled.          // * {@link #xMapPaneMouseListener} is also enabled.
561           **/          // **/
562          private int state = ZOOM_IN;          // private int state = ZOOM_IN;
563            //
564          /**          // /**
565           * Manuell gesetzter statischer Cursor, unabhaengig von der aktuellen          // * Manuell gesetzter statischer Cursor, unabhaengig von der aktuellen
566           * MapPane-Funktion          // * MapPane-Funktion
567           */          // */
568          protected Cursor staticCursor = null;          // protected Cursor staticCursor = null;
569    
570          private AffineTransform worldToScreen;          private AffineTransform worldToScreen;
571    
# Line 631  public class XMapPane extends JPanel { Line 624  public class XMapPane extends JPanel {
624                  this.addMouseListener(xMapPaneMouseListener);                  this.addMouseListener(xMapPaneMouseListener);
625                  this.addMouseMotionListener(xMapPaneMouseListener);                  this.addMouseMotionListener(xMapPaneMouseListener);
626                  this.addMouseWheelListener(xMapPaneMouseListener);                  this.addMouseWheelListener(xMapPaneMouseListener);
                 xMapPaneMouseListener.actions.put(MouseInputType.LClick,  
                                 XMapPaneAction.ZOOM_IN);  
                 xMapPaneMouseListener.actions.put(MouseInputType.LDrag,  
                                 XMapPaneAction.ZOOM_IN);  
                 xMapPaneMouseListener.actions.put(MouseInputType.Wheel,  
                                 XMapPaneAction.ZOOM_IN);  
   
                 xMapPaneMouseListener.actions.put(MouseInputType.RClick,  
                                 XMapPaneAction.SELECT_ALL);  
627    
628                  xMapPaneMouseListener.actions.put(MouseInputType.RDrag,                  // By default the XMapPAne uses the ZOOM_IN tool.
629                                  XMapPaneAction.PAN);                  setTool(XMapPaneTool.ZOOM_IN);
630    
631                  /*                  /*
632                   * We use a Timer object to avoid rendering delays and flickering when                   * We use a Timer object to avoid rendering delays and flickering when
# Line 1039  public class XMapPane extends JPanel { Line 1023  public class XMapPane extends JPanel {
1023                          return;                          return;
1024    
1025                  graphics.setXORMode(color);                  graphics.setXORMode(color);
1026                    
1027                  if (fill) {                  if (fill) {
1028                          graphics.fillRect(left, bottom, width, height);                          graphics.fillRect(left, bottom, width, height);
1029                          graphics.setXORMode(Color.WHITE);                                graphics.setXORMode(Color.WHITE);
1030                  }                  }
1031                    
                   
1032                  graphics.drawRect(left, bottom, width, height);                  graphics.drawRect(left, bottom, width, height);
1033          }          }
1034    
# Line 1257  public class XMapPane extends JPanel { Line 1240  public class XMapPane extends JPanel {
1240                                  return null;                                  return null;
1241                          }                          }
1242    
1243                          // Vergrößerung um 10% nochmal rausgenommen                          return JTSUtil
1244                          // // // Kartenbereich um 10% vergroessern                                          .fixAspectRatio(getVisibleRect(), addDefaultMargin(layerBounds), true);
                         // return JTSUtil.fixAspectRatio(getVisibleRect(), JTSUtil  
                         // .expandEnvelope(layerBounds, 0.1), true);  
1245    
                         return JTSUtil.fixAspectRatio(getVisibleRect(), layerBounds, true);  
1246                  }                  }
1247                  return maxExtend;                  return maxExtend;
1248          }          }
# Line 1317  public class XMapPane extends JPanel { Line 1297  public class XMapPane extends JPanel {
1297                  return new AffineTransform(screenToWorld);                  return new AffineTransform(screenToWorld);
1298          }          }
1299    
1300          public int getState() {          // public int getState() {
1301                  return state;          // return state;
1302          }          // }
1303            //
1304          /**          // /**
1305           * Liefert den statisch eingestellten Cursor, der unabhaengig von der          // * Liefert den statisch eingestellten Cursor, der unabhaengig von der
1306           * eingestellten MapPane-Aktion (Zoom, Auswahl, ...) verwendet wird.          // * eingestellten MapPane-Aktion (Zoom, Auswahl, ...) verwendet wird.
1307           *          // *
1308           * @return {@code null}, wenn kein statischer Cursor verwendet, sondern der          // * @return {@code null}, wenn kein statischer Cursor verwendet, sondern
1309           *         Cursor automatisch je nach MapPane-Aktion eingestellt wird.          // der
1310           */          // * Cursor automatisch je nach MapPane-Aktion eingestellt wird.
1311          public Cursor getStaticCursor() {          // */
1312                  return this.staticCursor;          // public Cursor getStaticCursor() {
1313          }          // return this.staticCursor;
1314            // }
1315    
1316          public AffineTransform getWorldToScreenTransform() {          public AffineTransform getWorldToScreenTransform() {
1317                  if (worldToScreen == null) {                  if (worldToScreen == null) {
# Line 1618  public class XMapPane extends JPanel { Line 1599  public class XMapPane extends JPanel {
1599                  }                  }
1600    
1601          }          }
1602  //  
1603  //      /**          //
1604  //       * Performs a {@value #PAN} action. During panning, the displacement is          // /**
1605  //       * stored in {@link #imageOrigin} object. Calling {@link #performPan()} will          // * Performs a {@value #PAN} action. During panning, the displacement is
1606  //       * reset the offset and call {@link #setMapArea(Envelope)}.          // * stored in {@link #imageOrigin} object. Calling {@link #performPan()}
1607  //       */          // will
1608  //      public void performPan() {          // * reset the offset and call {@link #setMapArea(Envelope)}.
1609  //          // */
1610  //              final Rectangle winBounds = getVisibleRect();          // public void performPan() {
1611  //          //
1612  //              winBounds.translate(-imageOrigin.x, -imageOrigin.y);          // final Rectangle winBounds = getVisibleRect();
1613  //              final Envelope newMapArea = tranformWindowToGeo(winBounds.x,          //
1614  //                              winBounds.y, winBounds.x + winBounds.width, winBounds.y          // winBounds.translate(-imageOrigin.x, -imageOrigin.y);
1615  //                                              + winBounds.height);          // final Envelope newMapArea = tranformWindowToGeo(winBounds.x,
1616  //          // winBounds.y, winBounds.x + winBounds.width, winBounds.y
1617  //              imageOrigin.x = 0;          // + winBounds.height);
1618  //              imageOrigin.y = 0;          //
1619  //          // imageOrigin.x = 0;
1620  //              if (!setMapArea(newMapArea)) {          // imageOrigin.y = 0;
1621  //                      /**          //
1622  //                       * If setMapArea returns true, the finalImage is updated anyways.          // if (!setMapArea(newMapArea)) {
1623  //                       * This if-case exists to ensure that we repaint a correct image          // /**
1624  //                       * even if the new panning area has been denied.          // * If setMapArea returns true, the finalImage is updated anyways.
1625  //                       */          // * This if-case exists to ensure that we repaint a correct image
1626  //                      updateFinalImage();          // * even if the new panning area has been denied.
1627  //                      repaint();          // */
1628  //              }          // updateFinalImage();
1629  //          // repaint();
1630  //              if (getCursor() == SwingUtil.PANNING_CURSOR)          // }
1631  //                      setCursor(SwingUtil.PAN_CURSOR);          //
1632  //      }          // if (getCursor() == SwingUtil.PANNING_CURSOR)
1633            // setCursor(SwingUtil.PAN_CURSOR);
1634            // }
1635    
1636          /**          /**
1637           * Entfernt einen Listener von der Map.           * Entfernt einen Listener von der Map.
# Line 1957  public class XMapPane extends JPanel { Line 1940  public class XMapPane extends JPanel {
1940    
1941          // /** Stored the time used for the last real rendering in ms. **/          // /** Stored the time used for the last real rendering in ms. **/
1942          private long lastRenderingDuration = 1000;          private long lastRenderingDuration = 1000;
1943          private XMapPaneTool tool = XMapPaneTool.INFO;          private XMapPaneTool tool = null;
1944    
1945          /**          /**
1946           * Set the minimum (nearest) allowed zoom scale. This is the bigger number           * Set the minimum (nearest) allowed zoom scale. This is the bigger number
# Line 1989  public class XMapPane extends JPanel { Line 1972  public class XMapPane extends JPanel {
1972                          this.rendererHints = rendererHints;                          this.rendererHints = rendererHints;
1973          }          }
1974    
1975          /**          // @Deprecated
1976           * Enables/Disables the ZOOM Mouse Listener. Upates the Cursor and stops the          // public void setState(final int state) {
1977           * repaint Timer if          // this.state = state;
1978           *          //
1979           * @param state          // // throw new RuntimeException("Old concept.. migrate to new concept!");
1980           */          //
1981          @Deprecated          // // xMapPaneMouseListener.setEnabled((state == ZOOM_IN
1982          public void setState(final int state) {          // // || state == ZOOM_OUT || state == PAN));
1983                  this.state = state;          //
1984            // // Je nach Aktion den Cursor umsetzen
1985                  // throw new RuntimeException("Old concept.. migrate to new concept!");          // updateCursor();
1986            // }
                 // xMapPaneMouseListener.setEnabled((state == ZOOM_IN  
                 // || state == ZOOM_OUT || state == PAN));  
   
                 // Je nach Aktion den Cursor umsetzen  
                 updateCursor();  
         }  
1987    
1988          public void configureMouse(MouseInputType type, XMapPaneAction action) {          public void configureMouse(MouseInputType type, XMapPaneAction action) {
1989                  xMapPaneMouseListener.actions.put(type, action);                  xMapPaneMouseListener.actions.put(type, action);
1990          }          }
1991            
1992          /**          /**
1993           * Configure the tool that active on the map           * Configure the {@link XMapPaneTool} that active on the map. Passing
1994             * <code>null</code> will set the NO_ACTION tool.
1995           */           */
1996          public void setTool(XMapPaneTool tool) {          public void setTool(XMapPaneTool tool) {
1997                    if (tool == null)
1998                            tool = XMapPaneTool.NO_ACTION;
1999                  this.tool = tool;                  this.tool = tool;
2000                  xMapPaneMouseListener.configure(tool);                  xMapPaneMouseListener.configure(tool);
2001                  setCursor(tool.cursor);                  setCursor(tool.getCursor());
2002          }          }
2003    
2004          /**          // /**
2005           * Standardmaessig wird der Cursor automatisch je nach MapPane-Aktion (Zoom,          // * Standardmaessig wird der Cursor automatisch je nach MapPane-Aktion
2006           * Auswahl, ...) gesetzt. Mit dieser Methode kann ein statischer Cursor          // (Zoom,
2007           * gesetzt werden, der unabhaengig von der aktuellen MapPanes-Aktion          // * Auswahl, ...) gesetzt. Mit dieser Methode kann ein statischer Cursor
2008           * beibehalten wird. Um diesen statischen Cursor wieder zu entfernen, kann          // * gesetzt werden, der unabhaengig von der aktuellen MapPanes-Aktion
2009           * {@code null} als Parameter uebergeben werden          // * beibehalten wird. Um diesen statischen Cursor wieder zu entfernen, kann
2010           *          // * {@code null} als Parameter uebergeben werden
2011           * @param cursor          // *
2012           *            Cursor          // * @param cursor
2013           */          // * Cursor
2014          public void setStaticCursor(final Cursor cursor) {          // */
2015                  this.staticCursor = cursor;          // public void setStaticCursor(final Cursor cursor) {
2016                  if (cursor != null)          // this.staticCursor = cursor;
2017                          super.setCursor(cursor);          // if (cursor != null)
2018          }          // super.setCursor(cursor);
2019            // }
2020    
2021          /**          /**
2022           * Starts rendering on one or two threads           * Starts rendering on one or two threads
# Line 2177  public class XMapPane extends JPanel { Line 2158  public class XMapPane extends JPanel {
2158                                  repaint();                                  repaint();
2159                          }                          }
2160                  }                  }
2161                                    //              
2162  //                  // //
2163                  // wenn manueller Cursor gesetzt ist, dann diesen verwenden (unabhaengig                  // // wenn manueller Cursor gesetzt ist, dann diesen verwenden
2164                  // von der aktuellen Aktion                  // (unabhaengig
2165                  if (this.staticCursor != null) {                  // // von der aktuellen Aktion
2166                          setCursor(staticCursor);                  // if (this.staticCursor != null) {
2167                          return;                  // setCursor(staticCursor);
2168                  }                  // return;
2169                                    // }
2170                    //              
2171                  if (getCursor() == SwingUtil.PANNING_CURSOR) {                  if (getCursor() == SwingUtil.PANNING_CURSOR) {
2172                          // This cursor will reset itself                          // This cursor will reset itself
2173                          return;                          return;
2174                  }                  }
2175                    
2176                  setCursor(tool.cursor);                  setCursor(tool.getCursor());
2177  //  
2178  //              // Set the cursor depending on what tool is in use...                  //
2179  //              switch (state) {                  // // Set the cursor depending on what tool is in use...
2180  //              case SELECT_TOP:                  // switch (state) {
2181  //              case SELECT_ONE_FROM_TOP:                  // case SELECT_TOP:
2182  //              case SELECT_ALL:                  // case SELECT_ONE_FROM_TOP:
2183  //                      setCursor(SwingUtil.CROSSHAIR_CURSOR);                  // case SELECT_ALL:
2184  //                      break;                  // setCursor(SwingUtil.CROSSHAIR_CURSOR);
2185  //              case ZOOM_IN:                  // break;
2186  //                      setCursor(SwingUtil.ZOOMIN_CURSOR);                  // case ZOOM_IN:
2187  //                      break;                  // setCursor(SwingUtil.ZOOMIN_CURSOR);
2188  //              case ZOOM_OUT:                  // break;
2189  //                      setCursor(SwingUtil.ZOOMOUT_CURSOR);                  // case ZOOM_OUT:
2190  //                      break;                  // setCursor(SwingUtil.ZOOMOUT_CURSOR);
2191  //              case PAN:                  // break;
2192  //                      setCursor(SwingUtil.PAN_CURSOR);                  // case PAN:
2193  //                      break;                  // setCursor(SwingUtil.PAN_CURSOR);
2194  //              default:                  // break;
2195  //                      setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));                  // default:
2196  //                      break;                  // setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
2197  //              }                  // break;
2198                    // }
2199          }          }
2200    
2201          /**          /**
# Line 2242  public class XMapPane extends JPanel { Line 2225  public class XMapPane extends JPanel {
2225    
2226                  final Graphics2D finalG = getFinalImage().createGraphics();                  final Graphics2D finalG = getFinalImage().createGraphics();
2227                  finalG.setBackground(getMapBackgroundColor());                  finalG.setBackground(getMapBackgroundColor());
2228                  finalG.drawImage(getPreFinalImage(), getImageOrigin().x, getImageOrigin().y,                  finalG.drawImage(getPreFinalImage(), getImageOrigin().x,
2229                                  getMapBackgroundColor(), null);                                  getImageOrigin().y, getMapBackgroundColor(), null);
2230    
2231                  // When panning, we have to clear the area around the image                  // When panning, we have to clear the area around the image
2232                  final Rectangle painedArea = new Rectangle(getImageOrigin().x,                  final Rectangle painedArea = new Rectangle(getImageOrigin().x,
# Line 2252  public class XMapPane extends JPanel { Line 2235  public class XMapPane extends JPanel {
2235                  SwingUtil.clearAround(finalG, painedArea, getVisibleRect(),                  SwingUtil.clearAround(finalG, painedArea, getVisibleRect(),
2236                                  getMapBackgroundColor());                                  getMapBackgroundColor());
2237    
2238  //              addGadgets(finalG, false);                   addGadgets(finalG, false);
2239    
2240                  finalG.dispose();                  finalG.dispose();
2241    
# Line 2413  public class XMapPane extends JPanel { Line 2396  public class XMapPane extends JPanel {
2396                          // BB umrechnen von Layer-CRS in Map-CRS                          // BB umrechnen von Layer-CRS in Map-CRS
2397    
2398                          // Expand a bit                          // Expand a bit
2399                          bounds.expandBy(bounds.getWidth() / 6., bounds.getHeight() / 6.);                          addDefaultMargin(bounds);
2400    
2401                          setMapArea(bounds);                          setMapArea(bounds);
2402                  }                  }
2403          }          }
2404    
2405            private ReferencedEnvelope addDefaultMargin(ReferencedEnvelope bounds) {
2406                    return JTSUtil.expandEnvelope(bounds, Math.max(0,
2407                                    defaultMaxMapExtendMode));
2408            }
2409    
2410            private Envelope addDefaultMargin(Envelope bounds) {
2411                    return JTSUtil.expandEnvelope(bounds, Math.max(0,
2412                                    defaultMaxMapExtendMode));
2413            }
2414    
2415          /**          /**
2416           * Zooms towards a point.           * Zooms towards a point.
2417           *           *
# Line 2566  public class XMapPane extends JPanel { Line 2559  public class XMapPane extends JPanel {
2559                          // genau auf dem Rand der angezeigten Flaeche)                          // genau auf dem Rand der angezeigten Flaeche)
2560    
2561                          if (mapAreaNew != null) {                          if (mapAreaNew != null) {
2562                                  mapAreaNew.expandBy(mapAreaNew.getWidth() * 0.1, mapAreaNew  
2563                                                  .getHeight() * 0.1);                                  mapAreaNew = addDefaultMargin(mapAreaNew);
2564                                  setMapArea(mapAreaNew);                                  setMapArea(mapAreaNew);
2565                          } else {                          } else {
2566                                  LOGGER                                  LOGGER
# Line 2649  public class XMapPane extends JPanel { Line 2642  public class XMapPane extends JPanel {
2642                  return imageOrigin;                  return imageOrigin;
2643          }          }
2644    
2645            /**
2646             * If {@link #maxExtend} is <code>null</code> the following rules are used
2647             * to create a default maximum.
2648             * <ul>
2649             * <li>Values &lt; 0 : don't grow to fit the monitors aspect ratio, no
2650             * margin</li>
2651             * <li>Values 0 : grow to fit the monitors aspect ratio, no margin</li>
2652             * <li>Values &gt; 0 : grow to fit the monitors aspect ratio, and add a
2653             * relative margin</li>
2654             * </ul>
2655             * **/
2656            public void setDefaultMaxMapExtendMode(double defaultMaxMapExtendMode) {
2657                    this.defaultMaxMapExtendMode = defaultMaxMapExtendMode;
2658            }
2659    
2660            /**
2661             * If {@link #maxExtend} is <code>null</code> the following rules are used
2662             * to create a default maximum.
2663             * <ul>
2664             * <li>Values &lt; 0 : don't grow to fit the monitors aspect ratio, no
2665             * margin</li>
2666             * <li>Values 0 : grow to fit the monitors aspect ratio, no margin</li>
2667             * <li>Values &gt; 0 : grow to fit the monitors aspect ratio, and add a
2668             * relative margin</li>
2669             * </ul>
2670             * **/
2671            public double getDefaultMaxMapExtendMode() {
2672                    return defaultMaxMapExtendMode;
2673            }
2674    
2675  }  }
Legend:
Removed from v.654  
changed lines
  Added in v.676
[email protected]
 ViewVC Help
Powered by ViewVC 1.1.26