[10340] | 1 | // License: GPL. For details, see LICENSE file.
|
---|
| 2 | package org.openstreetmap.josm.gui;
|
---|
| 3 |
|
---|
| 4 | import static org.openstreetmap.josm.tools.I18n.tr;
|
---|
| 5 |
|
---|
| 6 | import java.awt.BorderLayout;
|
---|
| 7 | import java.awt.Component;
|
---|
| 8 | import java.awt.Image;
|
---|
| 9 | import java.awt.Rectangle;
|
---|
| 10 | import java.awt.Toolkit;
|
---|
| 11 | import java.awt.event.ComponentEvent;
|
---|
| 12 | import java.awt.event.ComponentListener;
|
---|
| 13 | import java.awt.event.WindowAdapter;
|
---|
| 14 | import java.awt.event.WindowEvent;
|
---|
| 15 | import java.beans.PropertyChangeListener;
|
---|
| 16 | import java.util.LinkedList;
|
---|
| 17 | import java.util.List;
|
---|
| 18 |
|
---|
| 19 | import javax.swing.JFrame;
|
---|
| 20 | import javax.swing.JPanel;
|
---|
| 21 |
|
---|
| 22 | import org.openstreetmap.josm.Main;
|
---|
| 23 | import org.openstreetmap.josm.gui.layer.LayerManager.LayerAddEvent;
|
---|
| 24 | import org.openstreetmap.josm.gui.layer.LayerManager.LayerChangeListener;
|
---|
| 25 | import org.openstreetmap.josm.gui.layer.LayerManager.LayerOrderChangeEvent;
|
---|
| 26 | import org.openstreetmap.josm.gui.layer.LayerManager.LayerRemoveEvent;
|
---|
| 27 | import org.openstreetmap.josm.gui.layer.OsmDataLayer;
|
---|
| 28 | import org.openstreetmap.josm.gui.layer.OsmDataLayer.LayerStateChangeListener;
|
---|
| 29 | import org.openstreetmap.josm.tools.ImageProvider;
|
---|
[12620] | 30 | import org.openstreetmap.josm.tools.Logging;
|
---|
[10340] | 31 | import org.openstreetmap.josm.tools.WindowGeometry;
|
---|
| 32 |
|
---|
| 33 | /**
|
---|
| 34 | * This is the JOSM main window. It updates it's title.
|
---|
| 35 | * @author Michael Zangl
|
---|
| 36 | * @since 10340
|
---|
| 37 | */
|
---|
| 38 | public class MainFrame extends JFrame {
|
---|
[10611] | 39 | private final transient LayerStateChangeListener updateTitleOnLayerStateChange = (layer, newValue) -> onLayerChange(layer);
|
---|
| 40 |
|
---|
| 41 | private final transient PropertyChangeListener updateTitleOnSaveChange = evt -> {
|
---|
| 42 | if (evt.getPropertyName().equals(OsmDataLayer.REQUIRES_SAVE_TO_DISK_PROP)
|
---|
| 43 | || evt.getPropertyName().equals(OsmDataLayer.REQUIRES_UPLOAD_TO_SERVER_PROP)) {
|
---|
| 44 | OsmDataLayer layer = (OsmDataLayer) evt.getSource();
|
---|
[10340] | 45 | onLayerChange(layer);
|
---|
| 46 | }
|
---|
| 47 | };
|
---|
| 48 |
|
---|
[10432] | 49 | protected transient WindowGeometry geometry;
|
---|
| 50 | protected int windowState = JFrame.NORMAL;
|
---|
[12127] | 51 | private final MainPanel panel;
|
---|
[10432] | 52 | private MainMenu menu;
|
---|
| 53 |
|
---|
[10340] | 54 | /**
|
---|
| 55 | * Create a new main window.
|
---|
| 56 | */
|
---|
| 57 | public MainFrame() {
|
---|
[12128] | 58 | this(new WindowGeometry(new Rectangle(10, 10, 500, 500)));
|
---|
[10340] | 59 | }
|
---|
| 60 |
|
---|
| 61 | /**
|
---|
[12128] | 62 | * Create a new main window. The parameter will be removed in the future.
|
---|
[10340] | 63 | * @param geometry The inital geometry to use.
|
---|
[12128] | 64 | * @since 12127
|
---|
[10340] | 65 | */
|
---|
[12128] | 66 | public MainFrame(WindowGeometry geometry) {
|
---|
[10340] | 67 | super();
|
---|
| 68 | this.geometry = geometry;
|
---|
[12127] | 69 | this.panel = new MainPanel(Main.getLayerManager());
|
---|
[12128] | 70 | setContentPane(new JPanel(new BorderLayout()));
|
---|
[10340] | 71 | }
|
---|
| 72 |
|
---|
| 73 | /**
|
---|
| 74 | * Initializes the content of the window and get the current status panel.
|
---|
| 75 | */
|
---|
| 76 | public void initialize() {
|
---|
| 77 | menu = new MainMenu();
|
---|
| 78 | addComponentListener(new WindowPositionSizeListener());
|
---|
| 79 | addWindowStateListener(new WindowPositionSizeListener());
|
---|
| 80 |
|
---|
| 81 | setJMenuBar(menu);
|
---|
| 82 | geometry.applySafe(this);
|
---|
| 83 | List<Image> l = new LinkedList<>();
|
---|
| 84 | l.add(ImageProvider.get("logo_16x16x32").getImage());
|
---|
| 85 | l.add(ImageProvider.get("logo_16x16x8").getImage());
|
---|
| 86 | l.add(ImageProvider.get("logo_32x32x32").getImage());
|
---|
| 87 | l.add(ImageProvider.get("logo_32x32x8").getImage());
|
---|
| 88 | l.add(ImageProvider.get("logo_48x48x32").getImage());
|
---|
| 89 | l.add(ImageProvider.get("logo_48x48x8").getImage());
|
---|
| 90 | l.add(ImageProvider.get("logo").getImage());
|
---|
| 91 | setIconImages(l);
|
---|
[11348] | 92 | addWindowListener(new ExitWindowAdapter());
|
---|
[10340] | 93 | setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
|
---|
| 94 |
|
---|
| 95 | // This listener is never removed, since the main frame exists forever.
|
---|
[10611] | 96 | Main.getLayerManager().addActiveLayerChangeListener(e -> refreshTitle());
|
---|
[11905] | 97 | Main.getLayerManager().addAndFireLayerChangeListener(new ManageLayerListeners());
|
---|
[10340] | 98 |
|
---|
| 99 | refreshTitle();
|
---|
| 100 |
|
---|
[12125] | 101 | getContentPane().add(panel, BorderLayout.CENTER);
|
---|
[10340] | 102 | menu.initialize();
|
---|
| 103 | }
|
---|
| 104 |
|
---|
| 105 | /**
|
---|
| 106 | * Stores the current state of the main frame.
|
---|
| 107 | */
|
---|
| 108 | public void storeState() {
|
---|
| 109 | if (geometry != null) {
|
---|
| 110 | geometry.remember("gui.geometry");
|
---|
| 111 | }
|
---|
| 112 | Main.pref.put("gui.maximized", (windowState & JFrame.MAXIMIZED_BOTH) != 0);
|
---|
| 113 | }
|
---|
| 114 |
|
---|
| 115 | /**
|
---|
| 116 | * Gets the main menu used for this window.
|
---|
| 117 | * @return The main menu.
|
---|
[12125] | 118 | * @throws IllegalStateException if the main frame has not been initialized yet
|
---|
| 119 | * @see #initialize
|
---|
[10340] | 120 | */
|
---|
| 121 | public MainMenu getMenu() {
|
---|
| 122 | if (menu == null) {
|
---|
| 123 | throw new IllegalStateException("Not initialized.");
|
---|
| 124 | }
|
---|
| 125 | return menu;
|
---|
| 126 | }
|
---|
| 127 |
|
---|
| 128 | /**
|
---|
[12125] | 129 | * Gets the main panel.
|
---|
| 130 | * @return The main panel.
|
---|
| 131 | * @since 12125
|
---|
| 132 | */
|
---|
| 133 | public MainPanel getPanel() {
|
---|
| 134 | return panel;
|
---|
| 135 | }
|
---|
| 136 |
|
---|
| 137 | /**
|
---|
[10340] | 138 | * Sets this frame to be maximized.
|
---|
| 139 | * @param maximized <code>true</code> if the window should be maximized.
|
---|
| 140 | */
|
---|
| 141 | public void setMaximized(boolean maximized) {
|
---|
| 142 | if (maximized) {
|
---|
| 143 | if (Toolkit.getDefaultToolkit().isFrameStateSupported(JFrame.MAXIMIZED_BOTH)) {
|
---|
| 144 | windowState = JFrame.MAXIMIZED_BOTH;
|
---|
| 145 | setExtendedState(windowState);
|
---|
| 146 | } else {
|
---|
[12620] | 147 | Logging.debug("Main window: maximizing not supported");
|
---|
[10340] | 148 | }
|
---|
| 149 | } else {
|
---|
| 150 | throw new UnsupportedOperationException("Unimplemented.");
|
---|
| 151 | }
|
---|
| 152 | }
|
---|
| 153 |
|
---|
| 154 | /**
|
---|
| 155 | * Update the title of the window to reflect the current content.
|
---|
| 156 | */
|
---|
| 157 | public void refreshTitle() {
|
---|
| 158 | OsmDataLayer editLayer = Main.getLayerManager().getEditLayer();
|
---|
| 159 | boolean dirty = editLayer != null && (editLayer.requiresSaveToFile()
|
---|
| 160 | || (editLayer.requiresUploadToServer() && !editLayer.isUploadDiscouraged()));
|
---|
| 161 | setTitle((dirty ? "* " : "") + tr("Java OpenStreetMap Editor"));
|
---|
| 162 | getRootPane().putClientProperty("Window.documentModified", dirty);
|
---|
| 163 | }
|
---|
| 164 |
|
---|
| 165 | private void onLayerChange(OsmDataLayer layer) {
|
---|
| 166 | if (layer == Main.getLayerManager().getEditLayer()) {
|
---|
| 167 | refreshTitle();
|
---|
| 168 | }
|
---|
| 169 | }
|
---|
| 170 |
|
---|
[11348] | 171 | static final class ExitWindowAdapter extends WindowAdapter {
|
---|
| 172 | @Override
|
---|
| 173 | public void windowClosing(final WindowEvent evt) {
|
---|
| 174 | Main.exitJosm(true, 0, null);
|
---|
| 175 | }
|
---|
| 176 | }
|
---|
| 177 |
|
---|
[10340] | 178 | /**
|
---|
| 179 | * Manages the layer listeners, adds them to every layer.
|
---|
| 180 | */
|
---|
| 181 | private final class ManageLayerListeners implements LayerChangeListener {
|
---|
| 182 | @Override
|
---|
| 183 | public void layerAdded(LayerAddEvent e) {
|
---|
| 184 | if (e.getAddedLayer() instanceof OsmDataLayer) {
|
---|
| 185 | OsmDataLayer osmDataLayer = (OsmDataLayer) e.getAddedLayer();
|
---|
| 186 | osmDataLayer.addLayerStateChangeListener(updateTitleOnLayerStateChange);
|
---|
| 187 | }
|
---|
| 188 | e.getAddedLayer().addPropertyChangeListener(updateTitleOnSaveChange);
|
---|
| 189 | }
|
---|
| 190 |
|
---|
| 191 | @Override
|
---|
| 192 | public void layerRemoving(LayerRemoveEvent e) {
|
---|
| 193 | if (e.getRemovedLayer() instanceof OsmDataLayer) {
|
---|
| 194 | OsmDataLayer osmDataLayer = (OsmDataLayer) e.getRemovedLayer();
|
---|
| 195 | osmDataLayer.removeLayerStateChangeListener(updateTitleOnLayerStateChange);
|
---|
| 196 | }
|
---|
| 197 | e.getRemovedLayer().removePropertyChangeListener(updateTitleOnSaveChange);
|
---|
| 198 | }
|
---|
| 199 |
|
---|
| 200 | @Override
|
---|
| 201 | public void layerOrderChanged(LayerOrderChangeEvent e) {
|
---|
| 202 | // not used
|
---|
| 203 | }
|
---|
| 204 | }
|
---|
| 205 |
|
---|
| 206 | private class WindowPositionSizeListener extends WindowAdapter implements ComponentListener {
|
---|
| 207 | @Override
|
---|
| 208 | public void windowStateChanged(WindowEvent e) {
|
---|
| 209 | windowState = e.getNewState();
|
---|
| 210 | }
|
---|
| 211 |
|
---|
| 212 | @Override
|
---|
| 213 | public void componentHidden(ComponentEvent e) {
|
---|
| 214 | // Do nothing
|
---|
| 215 | }
|
---|
| 216 |
|
---|
| 217 | @Override
|
---|
| 218 | public void componentMoved(ComponentEvent e) {
|
---|
| 219 | handleComponentEvent(e);
|
---|
| 220 | }
|
---|
| 221 |
|
---|
| 222 | @Override
|
---|
| 223 | public void componentResized(ComponentEvent e) {
|
---|
| 224 | handleComponentEvent(e);
|
---|
| 225 | }
|
---|
| 226 |
|
---|
| 227 | @Override
|
---|
| 228 | public void componentShown(ComponentEvent e) {
|
---|
| 229 | // Do nothing
|
---|
| 230 | }
|
---|
| 231 |
|
---|
| 232 | private void handleComponentEvent(ComponentEvent e) {
|
---|
| 233 | Component c = e.getComponent();
|
---|
| 234 | if (c instanceof JFrame && c.isVisible()) {
|
---|
| 235 | if (windowState == JFrame.NORMAL) {
|
---|
| 236 | geometry = new WindowGeometry((JFrame) c);
|
---|
| 237 | } else {
|
---|
| 238 | geometry.fixScreen((JFrame) c);
|
---|
| 239 | }
|
---|
| 240 | }
|
---|
| 241 | }
|
---|
| 242 | }
|
---|
| 243 |
|
---|
| 244 | }
|
---|