Changeset 12630 in josm for trunk/src/org/openstreetmap/josm/gui/NotificationManager.java
- Timestamp:
- 2017-08-24T00:15:51+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/NotificationManager.java
r11996 r12630 114 114 int x; 115 115 int y; 116 if (Main.isDisplayingMapView() && Main.map.mapView.getHeight() > 0) { 117 MapView mv = Main.map.mapView; 116 MapFrame map = MainApplication.getMap(); 117 if (MainApplication.isDisplayingMapView() && map.mapView.getHeight() > 0) { 118 MapView mv = map.mapView; 118 119 Point mapViewPos = SwingUtilities.convertPoint(mv.getParent(), mv.getX(), mv.getY(), Main.parent); 119 120 x = mapViewPos.x + margin; 120 y = mapViewPos.y + mv.getHeight() - Main.map.statusLine.getHeight() - size.height - margin;121 y = mapViewPos.y + mv.getHeight() - map.statusLine.getHeight() - size.height - margin; 121 122 } else { 122 123 x = margin;
Note:
See TracChangeset
for help on using the changeset viewer.
