source: josm/trunk/src/org/openstreetmap/josm/gui/MapView.java@ 3010

Last change on this file since 3010 was 3010, checked in by bastiK, 15 years ago

fixed #3921 - Autojump to downloaded area
  • Property svn:eol-style set to native
File size: 24.5 KB
Line 
1// License: GPL. See LICENSE file for details.
2
3package org.openstreetmap.josm.gui;
4
5import static org.openstreetmap.josm.tools.I18n.tr;
6
7import java.awt.Color;
8import java.awt.Graphics;
9import java.awt.Graphics2D;
10import java.awt.Point;
11import java.awt.Rectangle;
12import java.awt.event.ComponentAdapter;
13import java.awt.event.ComponentEvent;
14import java.awt.event.MouseEvent;
15import java.awt.event.MouseMotionListener;
16import java.awt.geom.Area;
17import java.awt.geom.GeneralPath;
18import java.awt.image.BufferedImage;
19import java.beans.PropertyChangeEvent;
20import java.beans.PropertyChangeListener;
21import java.util.ArrayList;
22import java.util.Collection;
23import java.util.Collections;
24import java.util.Comparator;
25import java.util.Enumeration;
26import java.util.LinkedList;
27import java.util.List;
28import java.util.concurrent.CopyOnWriteArrayList;
29
30import javax.swing.AbstractButton;
31import javax.swing.JComponent;
32import javax.swing.JOptionPane;
33
34import org.openstreetmap.josm.Main;
35import org.openstreetmap.josm.actions.AutoScaleAction;
36import org.openstreetmap.josm.actions.JosmAction;
37import org.openstreetmap.josm.actions.MoveAction;
38import org.openstreetmap.josm.actions.mapmode.MapMode;
39import org.openstreetmap.josm.data.Bounds;
40import org.openstreetmap.josm.data.SelectionChangedListener;
41import org.openstreetmap.josm.data.coor.LatLon;
42import org.openstreetmap.josm.data.osm.DataSet;
43import org.openstreetmap.josm.data.osm.DataSource;
44import org.openstreetmap.josm.data.osm.OsmPrimitive;
45import org.openstreetmap.josm.data.osm.visitor.BoundingXYVisitor;
46import org.openstreetmap.josm.data.osm.visitor.paint.PaintColors;
47import org.openstreetmap.josm.gui.layer.GpxLayer;
48import org.openstreetmap.josm.gui.layer.Layer;
49import org.openstreetmap.josm.gui.layer.MapViewPaintable;
50import org.openstreetmap.josm.gui.layer.OsmDataLayer;
51import org.openstreetmap.josm.gui.layer.markerlayer.MarkerLayer;
52import org.openstreetmap.josm.gui.layer.markerlayer.PlayHeadMarker;
53import org.openstreetmap.josm.tools.AudioPlayer;
54
55/**
56 * This is a component used in the MapFrame for browsing the map. It use is to
57 * provide the MapMode's enough capabilities to operate.
58 *
59 * MapView hold meta-data about the data set currently displayed, as scale level,
60 * center point viewed, what scrolling mode or editing mode is selected or with
61 * what projection the map is viewed etc..
62 *
63 * MapView is able to administrate several layers.
64 *
65 * @author imi
66 */
67public class MapView extends NavigatableComponent implements PropertyChangeListener {
68
69 /**
70 * Interface to notify listeners of the change of the active layer.
71 * @author imi
72 */
73 public interface LayerChangeListener {
74 void activeLayerChange(Layer oldLayer, Layer newLayer);
75 void layerAdded(Layer newLayer);
76 void layerRemoved(Layer oldLayer);
77 }
78
79 public interface EditLayerChangeListener {
80 void editLayerChanged(OsmDataLayer oldLayer, OsmDataLayer newLayer);
81 }
82
83 /**
84 * the layer listeners
85 */
86 private static final CopyOnWriteArrayList<MapView.LayerChangeListener> layerChangeListeners = new CopyOnWriteArrayList<MapView.LayerChangeListener>();
87 private static final CopyOnWriteArrayList<EditLayerChangeListener> editLayerChangeListeners = new CopyOnWriteArrayList<EditLayerChangeListener>();
88
89 /**
90 * Removes a layer change listener
91 *
92 * @param listener the listener. Ignored if null or already registered.
93 */
94 public static void removeLayerChangeListener(MapView.LayerChangeListener listener) {
95 layerChangeListeners.remove(listener);
96 }
97
98 public static void removeEditLayerChangeListener(EditLayerChangeListener listener) {
99 editLayerChangeListeners.remove(listener);
100 }
101
102 /**
103 * Adds a layer change listener
104 *
105 * @param listener the listener. Ignored if null or already registered.
106 */
107 public static void addLayerChangeListener(MapView.LayerChangeListener listener) {
108 if (listener != null) {
109 layerChangeListeners.addIfAbsent(listener);
110 }
111 }
112
113 public static void addEditLayerChangeListener(EditLayerChangeListener listener) {
114 if (listener != null) {
115 editLayerChangeListeners.addIfAbsent(listener);
116 }
117 }
118
119 protected static void fireActiveLayerChanged(Layer oldLayer, Layer newLayer) {
120 for (LayerChangeListener l : layerChangeListeners) {
121 l.activeLayerChange(oldLayer, newLayer);
122 }
123 }
124
125 protected static void fireLayerAdded(Layer newLayer) {
126 for (MapView.LayerChangeListener l : MapView.layerChangeListeners) {
127 l.layerAdded(newLayer);
128 }
129 }
130
131 protected static void fireLayerRemoved(Layer layer) {
132 for (MapView.LayerChangeListener l : MapView.layerChangeListeners) {
133 l.layerRemoved(layer);
134 }
135 }
136
137 protected static void fireEditLayerChanged(OsmDataLayer oldLayer, OsmDataLayer newLayer) {
138 for (EditLayerChangeListener l : editLayerChangeListeners) {
139 l.editLayerChanged(oldLayer, newLayer);
140 }
141 }
142
143 /**
144 * A list of all layers currently loaded.
145 */
146 private ArrayList<Layer> layers = new ArrayList<Layer>();
147 /**
148 * The play head marker: there is only one of these so it isn't in any specific layer
149 */
150 public PlayHeadMarker playHeadMarker = null;
151
152 /**
153 * The layer from the layers list that is currently active.
154 */
155 private Layer activeLayer;
156
157 private OsmDataLayer editLayer;
158
159 /**
160 * The last event performed by mouse.
161 */
162 public MouseEvent lastMEvent;
163
164 private LinkedList<MapViewPaintable> temporaryLayers = new LinkedList<MapViewPaintable>();
165
166 private BufferedImage offscreenBuffer;
167
168 public MapView() {
169 addComponentListener(new ComponentAdapter(){
170 @Override public void componentResized(ComponentEvent e) {
171 removeComponentListener(this);
172
173 MapSlider zoomSlider = new MapSlider(MapView.this);
174 add(zoomSlider);
175 zoomSlider.setBounds(3, 0, 114, 30);
176
177 MapScaler scaler = new MapScaler(MapView.this);
178 add(scaler);
179 scaler.setLocation(10,30);
180
181 OsmDataLayer layer = getEditLayer();
182 if (layer != null) {
183 if (!zoomToDataSetBoundingBox(layer.data)) {
184 // no bounding box defined
185 new AutoScaleAction("data").actionPerformed(null);
186 }
187 } else {
188 new AutoScaleAction("layer").actionPerformed(null);
189 }
190
191 new MapMover(MapView.this, Main.contentPane);
192 JosmAction mv;
193 mv = new MoveAction(MoveAction.Direction.UP);
194 if (mv.getShortcut() != null) {
195 Main.contentPane.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(mv.getShortcut().getKeyStroke(), "UP");
196 Main.contentPane.getActionMap().put("UP", mv);
197 }
198 mv = new MoveAction(MoveAction.Direction.DOWN);
199 if (mv.getShortcut() != null) {
200 Main.contentPane.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(mv.getShortcut().getKeyStroke(), "DOWN");
201 Main.contentPane.getActionMap().put("DOWN", mv);
202 }
203 mv = new MoveAction(MoveAction.Direction.LEFT);
204 if (mv.getShortcut() != null) {
205 Main.contentPane.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(mv.getShortcut().getKeyStroke(), "LEFT");
206 Main.contentPane.getActionMap().put("LEFT", mv);
207 }
208 mv = new MoveAction(MoveAction.Direction.RIGHT);
209 if (mv.getShortcut() != null) {
210 Main.contentPane.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(mv.getShortcut().getKeyStroke(), "RIGHT");
211 Main.contentPane.getActionMap().put("RIGHT", mv);
212 }
213 }
214 });
215
216 // listend to selection changes to redraw the map
217 DataSet.selListeners.add(new SelectionChangedListener(){
218 public void selectionChanged(Collection<? extends OsmPrimitive> newSelection) {
219 repaint();
220 }
221 });
222
223 //store the last mouse action
224 this.addMouseMotionListener(new MouseMotionListener() {
225 public void mouseDragged(MouseEvent e) {
226 mouseMoved(e);
227 }
228 public void mouseMoved(MouseEvent e) {
229 lastMEvent = e;
230 }
231 });
232 }
233
234 /**
235 * Adds a GPX layer. A GPX layer is added below the lowest data layer.
236 *
237 * @param layer the GPX layer
238 */
239 protected void addGpxLayer(GpxLayer layer) {
240 if (layers.isEmpty()) {
241 layers.add(layer);
242 return;
243 }
244 for (int i=layers.size()-1; i>= 0; i--) {
245 if (layers.get(i) instanceof OsmDataLayer) {
246 if (i == layers.size()-1) {
247 layers.add(layer);
248 } else {
249 layers.add(i+1, layer);
250 }
251 return;
252 }
253 }
254 layers.add(layer);
255 }
256
257 /**
258 * Add a layer to the current MapView. The layer will be added at topmost
259 * position.
260 */
261 public void addLayer(Layer layer) {
262 if (layer instanceof MarkerLayer && playHeadMarker == null) {
263 playHeadMarker = PlayHeadMarker.create();
264 }
265
266 if (layer instanceof GpxLayer) {
267 addGpxLayer((GpxLayer)layer);
268 } else if (layer.isBackgroundLayer() || layers.isEmpty()) {
269 layers.add(layer);
270 } else {
271 layers.add(0, layer);
272 }
273 fireLayerAdded(layer);
274 if (layer instanceof OsmDataLayer || activeLayer == null) {
275 // autoselect the new layer
276 setActiveLayer(layer);
277 }
278 layer.addPropertyChangeListener(this);
279 AudioPlayer.reset();
280 repaint();
281 }
282
283 @Override
284 protected DataSet getCurrentDataSet() {
285 if (editLayer != null)
286 return editLayer.data;
287 else
288 return null;
289 }
290
291 /**
292 * Replies true if the active layer is drawable.
293 *
294 * @return true if the active layer is drawable, false otherwise
295 */
296 public boolean isActiveLayerDrawable() {
297 return editLayer != null;
298 }
299
300 /**
301 * Replies true if the active layer is visible.
302 *
303 * @return true if the active layer is visible, false otherwise
304 */
305 public boolean isActiveLayerVisible() {
306 return isActiveLayerDrawable() && editLayer.isVisible();
307 }
308
309 /**
310 * Determines the next active data layer according to the following
311 * rules:
312 * <ul>
313 * <li>if there is at least one {@see OsmDataLayer} the first one
314 * becomes active</li>
315 * <li>otherwise, the top most layer of any type becomes active</li>
316 * </ul>
317 *
318 * @return the next active data layer
319 */
320 protected Layer determineNextActiveLayer(List<Layer> layersList) {
321 // First look for data layer
322 for (Layer layer:layersList) {
323 if (layer instanceof OsmDataLayer)
324 return layer;
325 }
326
327 // Then any layer
328 if (!layersList.isEmpty())
329 return layersList.get(0);
330
331 // and then give up
332 return null;
333
334 }
335
336 /**
337 * Remove the layer from the mapview. If the layer was in the list before,
338 * an LayerChange event is fired.
339 */
340 public void removeLayer(Layer layer) {
341 List<Layer> layersList = new ArrayList<Layer>(layers);
342
343 if (!layersList.remove(layer))
344 return;
345
346 setEditLayer(layersList);
347
348 if (layer == activeLayer) {
349 setActiveLayer(determineNextActiveLayer(layersList), false);
350 }
351
352 layers.remove(layer);
353 fireLayerRemoved(layer);
354 layer.removePropertyChangeListener(this);
355 layer.destroy();
356 AudioPlayer.reset();
357 repaint();
358 }
359
360 private boolean virtualNodesEnabled = false;
361
362 public void setVirtualNodesEnabled(boolean enabled) {
363 if(virtualNodesEnabled != enabled) {
364 virtualNodesEnabled = enabled;
365 repaint();
366 }
367 }
368 public boolean isVirtualNodesEnabled() {
369 return virtualNodesEnabled;
370 }
371
372 /**
373 * Moves the layer to the given new position. No event is fired, but repaints
374 * according to the new Z-Order of the layers.
375 *
376 * @param layer The layer to move
377 * @param pos The new position of the layer
378 */
379 public void moveLayer(Layer layer, int pos) {
380 int curLayerPos = layers.indexOf(layer);
381 if (curLayerPos == -1)
382 throw new IllegalArgumentException(tr("Layer not in list."));
383 if (pos == curLayerPos)
384 return; // already in place.
385 layers.remove(curLayerPos);
386 if (pos >= layers.size()) {
387 layers.add(layer);
388 } else {
389 layers.add(pos, layer);
390 }
391 setEditLayer(layers);
392 AudioPlayer.reset();
393 repaint();
394 }
395
396 public int getLayerPos(Layer layer) {
397 int curLayerPos = layers.indexOf(layer);
398 if (curLayerPos == -1)
399 throw new IllegalArgumentException(tr("Layer not in list."));
400 return curLayerPos;
401 }
402
403 /**
404 * Creates a list of the visible layers in Z-Order, the layer with the lowest Z-Order
405 * first, layer with the highest Z-Order last.
406 *
407 * @return a list of the visible in Z-Order, the layer with the lowest Z-Order
408 * first, layer with the highest Z-Order last.
409 */
410 protected List<Layer> getVisibleLayersInZOrder() {
411 ArrayList<Layer> ret = new ArrayList<Layer>();
412 for (Layer l: layers) {
413 if (l.isVisible()) {
414 ret.add(l);
415 }
416 }
417 // sort according to position in the list of layers, with one exception:
418 // an active data layer always becomes a higher Z-Order than all other
419 // data layers
420 //
421 Collections.sort(
422 ret,
423 new Comparator<Layer>() {
424 public int compare(Layer l1, Layer l2) {
425 if (l1 instanceof OsmDataLayer && l2 instanceof OsmDataLayer) {
426 if (l1 == getActiveLayer()) return -1;
427 if (l2 == getActiveLayer()) return 1;
428 return Integer.valueOf(layers.indexOf(l1)).compareTo(layers.indexOf(l2));
429 } else
430 return Integer.valueOf(layers.indexOf(l1)).compareTo(layers.indexOf(l2));
431 }
432 }
433 );
434 Collections.reverse(ret);
435 return ret;
436 }
437
438 /**
439 * Draw the component.
440 */
441 @Override public void paint(Graphics g) {
442 if (center == null)
443 return; // no data loaded yet.
444
445 // re-create offscreen-buffer if we've been resized, otherwise
446 // just re-use it.
447 if (null == offscreenBuffer || offscreenBuffer.getWidth() != getWidth()
448 || offscreenBuffer.getHeight() != getHeight()) {
449 offscreenBuffer = new BufferedImage(getWidth(), getHeight(), BufferedImage.TYPE_3BYTE_BGR);
450 }
451
452 Graphics2D tempG = offscreenBuffer.createGraphics();
453 tempG.setClip(g.getClip());
454 tempG.setColor(PaintColors.BACKGROUND.get());
455 tempG.fillRect(0, 0, getWidth(), getHeight());
456
457 Bounds box = getLatLonBounds(g.getClipBounds());
458
459 for (Layer l: getVisibleLayersInZOrder()) {
460 l.paint(tempG, this, box);
461 }
462 for (MapViewPaintable mvp : temporaryLayers) {
463 mvp.paint(tempG, this, box);
464 }
465
466 // draw world borders
467 tempG.setColor(Color.WHITE);
468 Bounds b = getProjection().getWorldBoundsLatLon();
469 double lat = b.getMin().lat();
470 double lon = b.getMin().lon();
471
472 Point p = getPoint(b.getMin());
473
474 GeneralPath path = new GeneralPath();
475
476 path.moveTo(p.x, p.y);
477 double max = b.getMax().lat();
478 for(; lat <= max; lat += 1.0)
479 {
480 p = getPoint(new LatLon(lat >= max ? max : lat, lon));
481 path.lineTo(p.x, p.y);
482 }
483 lat = max; max = b.getMax().lon();
484 for(; lon <= max; lon += 1.0)
485 {
486 p = getPoint(new LatLon(lat, lon >= max ? max : lon));
487 path.lineTo(p.x, p.y);
488 }
489 lon = max; max = b.getMin().lat();
490 for(; lat >= max; lat -= 1.0)
491 {
492 p = getPoint(new LatLon(lat <= max ? max : lat, lon));
493 path.lineTo(p.x, p.y);
494 }
495 lat = max; max = b.getMin().lon();
496 for(; lon >= max; lon -= 1.0)
497 {
498 p = getPoint(new LatLon(lat, lon <= max ? max : lon));
499 path.lineTo(p.x, p.y);
500 }
501
502 int w = offscreenBuffer.getWidth();
503 int h = offscreenBuffer.getHeight();
504
505 // Work around OpenJDK having problems when drawing out of bounds
506 final Area border = new Area(path);
507 // Make the viewport 1px larger in every direction to prevent an
508 // additional 1px border when zooming in
509 final Area viewport = new Area(new Rectangle(-1, -1, w + 2, h + 2));
510 border.intersect(viewport);
511 tempG.draw(border);
512
513 if (playHeadMarker != null) {
514 playHeadMarker.paint(tempG, this);
515 }
516
517 g.drawImage(offscreenBuffer, 0, 0, null);
518 super.paint(g);
519 }
520
521 /**
522 * Set the new dimension to the view.
523 */
524 public void recalculateCenterScale(BoundingXYVisitor box) {
525 if (box == null) {
526 box = new BoundingXYVisitor();
527 }
528 if (box.getBounds() == null) {
529 box.visit(getProjection().getWorldBoundsLatLon());
530 }
531 if (!box.hasExtend()) {
532 box.enlargeBoundingBox();
533 }
534
535 zoomTo(box.getBounds());
536 }
537
538 /**
539 * @return An unmodifiable collection of all layers
540 */
541 public Collection<Layer> getAllLayers() {
542 return Collections.unmodifiableCollection(layers);
543 }
544
545 /**
546 * @return An unmodifiable ordered list of all layers
547 */
548 public List<Layer> getAllLayersAsList() {
549 return Collections.unmodifiableList(layers);
550 }
551
552 /**
553 * Replies an unmodifiable list of layers of a certain type.
554 *
555 * Example:
556 * <pre>
557 * List<WMSLayer> wmsLayers = getLayersOfType(WMSLayer.class);
558 * </pre>
559 *
560 * @return an unmodifiable list of layers of a certain type.
561 */
562 public <T> List<T> getLayersOfType(Class<T> ofType) {
563 ArrayList<T> ret = new ArrayList<T>();
564 for (Layer layer : getAllLayersAsList()) {
565 if (ofType.isInstance(layer)) {
566 ret.add(ofType.cast(layer));
567 }
568 }
569 return ret;
570 }
571
572 /**
573 * Replies the number of layers managed by this mav view
574 *
575 * @return the number of layers managed by this mav view
576 */
577 public int getNumLayers() {
578 return layers.size();
579 }
580
581 /**
582 * Replies true if there is at least one layer in this map view
583 *
584 * @return true if there is at least one layer in this map view
585 */
586 public boolean hasLayers() {
587 return getNumLayers() > 0;
588 }
589
590 private void setEditLayer(List<Layer> layersList) {
591 OsmDataLayer newEditLayer = layersList.contains(editLayer)?editLayer:null;
592 OsmDataLayer oldEditLayer = editLayer;
593
594 // Find new edit layer
595 if (activeLayer != editLayer || !layersList.contains(editLayer)) {
596 if (activeLayer instanceof OsmDataLayer && layersList.contains(activeLayer)) {
597 newEditLayer = (OsmDataLayer) activeLayer;
598 } else {
599 for (Layer layer:layersList) {
600 if (layer instanceof OsmDataLayer) {
601 newEditLayer = (OsmDataLayer) layer;
602 break;
603 }
604 }
605 }
606 }
607
608 // Set new edit layer
609 if (newEditLayer != editLayer) {
610 if (newEditLayer == null) {
611 getCurrentDataSet().setSelected();
612 }
613
614 editLayer = newEditLayer;
615 fireEditLayerChanged(oldEditLayer, newEditLayer);
616 refreshTitle();
617 }
618
619 }
620
621 /**
622 * Sets the active layer to <code>layer</code>. If <code>layer</code> is an instance
623 * of {@see OsmDataLayer} also sets {@see #editLayer} to <code>layer</code>.
624 *
625 * @param layer the layer to be activate; must be one of the layers in the list of layers
626 * @exception IllegalArgumentException thrown if layer is not in the lis of layers
627 */
628 public void setActiveLayer(Layer layer) {
629 setActiveLayer(layer, true);
630 }
631
632 private void setActiveLayer(Layer layer, boolean setEditLayer) {
633 if (layer != null && !layers.contains(layer))
634 throw new IllegalArgumentException(tr("Layer ''{0}'' must be in list of layers", layer.toString()));
635
636 if (layer == activeLayer)
637 return;
638
639 Layer old = activeLayer;
640 activeLayer = layer;
641 if (setEditLayer) {
642 setEditLayer(layers);
643 }
644 fireActiveLayerChanged(old, layer);
645
646 /* This only makes the buttons look disabled. Disabling the actions as well requires
647 * the user to re-select the tool after i.e. moving a layer. While testing I found
648 * that I switch layers and actions at the same time and it was annoying to mind the
649 * order. This way it works as visual clue for new users */
650 for (Enumeration<AbstractButton> e = Main.map.toolGroup.getElements() ; e.hasMoreElements() ;) {
651 AbstractButton x=e.nextElement();
652 x.setEnabled(((MapMode)x.getAction()).layerIsSupported(layer));
653 }
654 AudioPlayer.reset();
655 repaint();
656 }
657
658 /**
659 * Replies the currently active layer
660 *
661 * @return the currently active layer (may be null)
662 */
663 public Layer getActiveLayer() {
664 return activeLayer;
665 }
666
667 /**
668 * Replies the current edit layer, if any
669 *
670 * @return the current edit layer. May be null.
671 */
672 public OsmDataLayer getEditLayer() {
673 return editLayer;
674 }
675
676 /**
677 * replies true if the list of layers managed by this map view contain layer
678 *
679 * @param layer the layer
680 * @return true if the list of layers managed by this map view contain layer
681 */
682 public boolean hasLayer(Layer layer) {
683 return layers.contains(layer);
684 }
685
686 /**
687 * Tries to zoom to the download boundingbox[es] of the current edit layer
688 * (aka {@link OsmDataLayer}). If the edit layer has multiple download bounding
689 * boxes it zooms to a large virtual bounding box containing all smaller ones.
690 *
691 * @return <code>true</code> if a zoom operation has been performed
692 */
693 public boolean zoomToDataSetBoundingBox(DataSet ds) {
694 // In case we already have an existing data layer ...
695 OsmDataLayer layer= getEditLayer();
696 if (layer == null)
697 return false;
698 Collection<DataSource> dataSources = ds.dataSources;
699 // ... with bounding box[es] of data loaded from OSM or a file...
700 BoundingXYVisitor bbox = new BoundingXYVisitor();
701 for (DataSource source : dataSources) {
702 bbox.visit(source.bounds);
703 }
704 if (bbox.hasExtend()) {
705 // ... we zoom to it's bounding box
706 recalculateCenterScale(bbox);
707 return true;
708 }
709 return false;
710 }
711
712 public boolean addTemporaryLayer(MapViewPaintable mvp) {
713 if (temporaryLayers.contains(mvp)) return false;
714 return temporaryLayers.add(mvp);
715 }
716
717 public boolean removeTemporaryLayer(MapViewPaintable mvp) {
718 return temporaryLayers.remove(mvp);
719 }
720
721 public void propertyChange(PropertyChangeEvent evt) {
722 if (evt.getPropertyName().equals(Layer.VISIBLE_PROP)) {
723 repaint();
724 } else if (evt.getPropertyName().equals(OsmDataLayer.REQUIRES_SAVE_TO_DISK_PROP)
725 || evt.getPropertyName().equals(OsmDataLayer.REQUIRES_UPLOAD_TO_SERVER_PROP)) {
726 OsmDataLayer layer = (OsmDataLayer)evt.getSource();
727 if (layer == getEditLayer()) {
728 refreshTitle();
729 }
730 }
731 }
732
733 protected void refreshTitle() {
734 boolean dirty = editLayer != null && (editLayer.requiresSaveToFile() || editLayer.requiresUploadToServer());
735 if (dirty) {
736 JOptionPane.getFrameForComponent(Main.parent).setTitle("* " + tr("Java OpenStreetMap Editor"));
737 } else {
738 JOptionPane.getFrameForComponent(Main.parent).setTitle(tr("Java OpenStreetMap Editor"));
739 }
740 }
741
742}
Note: See TracBrowser for help on using the repository browser.