| 1 | // License: GPL. For details, see LICENSE file.
|
|---|
| 2 | package org.openstreetmap.josm.gui.history;
|
|---|
| 3 |
|
|---|
| 4 | import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
|
|---|
| 5 | import static org.openstreetmap.josm.tools.I18n.marktr;
|
|---|
| 6 | import static org.openstreetmap.josm.tools.I18n.tr;
|
|---|
| 7 |
|
|---|
| 8 | import java.awt.BorderLayout;
|
|---|
| 9 | import java.awt.FlowLayout;
|
|---|
| 10 | import java.awt.event.ActionEvent;
|
|---|
| 11 | import java.awt.event.WindowAdapter;
|
|---|
| 12 | import java.awt.event.WindowEvent;
|
|---|
| 13 |
|
|---|
| 14 | import javax.swing.AbstractAction;
|
|---|
| 15 | import javax.swing.JButton;
|
|---|
| 16 | import javax.swing.JDialog;
|
|---|
| 17 | import javax.swing.JLabel;
|
|---|
| 18 | import javax.swing.JPanel;
|
|---|
| 19 |
|
|---|
| 20 | import org.openstreetmap.josm.data.osm.PrimitiveId;
|
|---|
| 21 | import org.openstreetmap.josm.data.osm.history.History;
|
|---|
| 22 | import org.openstreetmap.josm.data.osm.history.HistoryDataSet;
|
|---|
| 23 | import org.openstreetmap.josm.data.osm.history.HistoryDataSetListener;
|
|---|
| 24 | import org.openstreetmap.josm.gui.MainApplication;
|
|---|
| 25 | import org.openstreetmap.josm.gui.help.ContextSensitiveHelpAction;
|
|---|
| 26 | import org.openstreetmap.josm.gui.help.HelpUtil;
|
|---|
| 27 | import org.openstreetmap.josm.gui.util.GuiHelper;
|
|---|
| 28 | import org.openstreetmap.josm.tools.ImageProvider;
|
|---|
| 29 | import org.openstreetmap.josm.tools.InputMapUtils;
|
|---|
| 30 |
|
|---|
| 31 | /**
|
|---|
| 32 | * This is non-modal dialog, always showing on top, which displays history information
|
|---|
| 33 | * about a given {@link org.openstreetmap.josm.data.osm.OsmPrimitive}.
|
|---|
| 34 | * @since 1709
|
|---|
| 35 | */
|
|---|
| 36 | public class HistoryBrowserDialog extends JDialog implements HistoryDataSetListener {
|
|---|
| 37 |
|
|---|
| 38 | /** the embedded browser */
|
|---|
| 39 | private final HistoryBrowser browser = new HistoryBrowser();
|
|---|
| 40 | private final CloseAction closeAction = new CloseAction();
|
|---|
| 41 | private final JLabel titleLabel = new JLabel("", JLabel.CENTER);
|
|---|
| 42 |
|
|---|
| 43 | /**
|
|---|
| 44 | * Constructs a new {@code HistoryBrowserDialog}.
|
|---|
| 45 | *
|
|---|
| 46 | * @param history the history to be displayed
|
|---|
| 47 | */
|
|---|
| 48 | public HistoryBrowserDialog(History history) {
|
|---|
| 49 | super(GuiHelper.getFrameForComponent(MainApplication.getMainFrame()), false);
|
|---|
| 50 | build();
|
|---|
| 51 | setHistory(history);
|
|---|
| 52 | setTitle(buildTitle(history));
|
|---|
| 53 | pack();
|
|---|
| 54 | if (getInsets().top > 0) {
|
|---|
| 55 | titleLabel.setVisible(false);
|
|---|
| 56 | }
|
|---|
| 57 | HistoryDataSet.getInstance().addHistoryDataSetListener(this);
|
|---|
| 58 | addWindowListener(new WindowClosingAdapter());
|
|---|
| 59 | }
|
|---|
| 60 |
|
|---|
| 61 | /**
|
|---|
| 62 | * Constructs the title for this dialog
|
|---|
| 63 | *
|
|---|
| 64 | * @param h the current history
|
|---|
| 65 | * @return the title for this dialog
|
|---|
| 66 | */
|
|---|
| 67 | static String buildTitle(History h) {
|
|---|
| 68 | String title;
|
|---|
| 69 | switch (h.getEarliest().getType()) {
|
|---|
| 70 | case NODE: title = marktr("History for node {0}");
|
|---|
| 71 | break;
|
|---|
| 72 | case WAY: title = marktr("History for way {0}");
|
|---|
| 73 | break;
|
|---|
| 74 | case RELATION: title = marktr("History for relation {0}");
|
|---|
| 75 | break;
|
|---|
| 76 | default: title = "";
|
|---|
| 77 | }
|
|---|
| 78 | return tr(title, Long.toString(h.getId()));
|
|---|
| 79 | }
|
|---|
| 80 |
|
|---|
| 81 | @Override
|
|---|
| 82 | public void setTitle(String title) {
|
|---|
| 83 | super.setTitle(title);
|
|---|
| 84 | if (titleLabel != null) {
|
|---|
| 85 | titleLabel.setText(title);
|
|---|
| 86 | }
|
|---|
| 87 | }
|
|---|
| 88 |
|
|---|
| 89 | /**
|
|---|
| 90 | * builds the GUI
|
|---|
| 91 | */
|
|---|
| 92 | protected void build() {
|
|---|
| 93 | setLayout(new BorderLayout());
|
|---|
| 94 |
|
|---|
| 95 | add(titleLabel, BorderLayout.NORTH);
|
|---|
| 96 |
|
|---|
| 97 | add(browser, BorderLayout.CENTER);
|
|---|
| 98 |
|
|---|
| 99 | JPanel pnl = new JPanel(new FlowLayout(FlowLayout.CENTER));
|
|---|
| 100 |
|
|---|
| 101 | JButton btn = new JButton(new ReloadAction());
|
|---|
| 102 | btn.setName("btn.reload");
|
|---|
| 103 | pnl.add(btn);
|
|---|
| 104 |
|
|---|
| 105 | btn = new JButton(closeAction);
|
|---|
| 106 | btn.setName("btn.close");
|
|---|
| 107 | pnl.add(btn);
|
|---|
| 108 | InputMapUtils.addEscapeAction(getRootPane(), closeAction);
|
|---|
| 109 |
|
|---|
| 110 | btn = new JButton(new ContextSensitiveHelpAction(ht("/Action/ObjectHistory")));
|
|---|
| 111 | btn.setName("btn.help");
|
|---|
| 112 | pnl.add(btn);
|
|---|
| 113 | add(pnl, BorderLayout.SOUTH);
|
|---|
| 114 |
|
|---|
| 115 | HelpUtil.setHelpContext(getRootPane(), ht("/Action/ObjectHistory"));
|
|---|
| 116 | }
|
|---|
| 117 |
|
|---|
| 118 | /**
|
|---|
| 119 | * Sets the current history.
|
|---|
| 120 | * @param history current history
|
|---|
| 121 | */
|
|---|
| 122 | protected void setHistory(History history) {
|
|---|
| 123 | browser.populate(history);
|
|---|
| 124 | }
|
|---|
| 125 |
|
|---|
| 126 | /* ---------------------------------------------------------------------------------- */
|
|---|
| 127 | /* interface HistoryDataSetListener */
|
|---|
| 128 | /* ---------------------------------------------------------------------------------- */
|
|---|
| 129 |
|
|---|
| 130 | @Override
|
|---|
| 131 | public void historyUpdated(HistoryDataSet source, PrimitiveId primitiveId) {
|
|---|
| 132 | if (primitiveId == null || primitiveId.equals(browser.getHistory().getPrimitiveId())) {
|
|---|
| 133 | History history = source.getHistory(browser.getHistory().getPrimitiveId());
|
|---|
| 134 | if (history != null) {
|
|---|
| 135 | browser.populate(history);
|
|---|
| 136 | }
|
|---|
| 137 | }
|
|---|
| 138 | }
|
|---|
| 139 |
|
|---|
| 140 | @Override
|
|---|
| 141 | public void historyDataSetCleared(HistoryDataSet source) {
|
|---|
| 142 | if (isVisible()) {
|
|---|
| 143 | closeAction.run();
|
|---|
| 144 | }
|
|---|
| 145 | }
|
|---|
| 146 |
|
|---|
| 147 | class CloseAction extends AbstractAction {
|
|---|
| 148 | CloseAction() {
|
|---|
| 149 | putValue(NAME, tr("Close"));
|
|---|
| 150 | putValue(SHORT_DESCRIPTION, tr("Close the dialog"));
|
|---|
| 151 | new ImageProvider("ok").getResource().attachImageIcon(this);
|
|---|
| 152 | }
|
|---|
| 153 |
|
|---|
| 154 | void run() {
|
|---|
| 155 | HistoryBrowserDialogManager.getInstance().hide(HistoryBrowserDialog.this);
|
|---|
| 156 | }
|
|---|
| 157 |
|
|---|
| 158 | @Override
|
|---|
| 159 | public void actionPerformed(ActionEvent e) {
|
|---|
| 160 | run();
|
|---|
| 161 | }
|
|---|
| 162 | }
|
|---|
| 163 |
|
|---|
| 164 | class ReloadAction extends AbstractAction {
|
|---|
| 165 | ReloadAction() {
|
|---|
| 166 | putValue(NAME, tr("Reload"));
|
|---|
| 167 | putValue(SHORT_DESCRIPTION, tr("Reload the history from the server"));
|
|---|
| 168 | new ImageProvider("dialogs", "refresh").getResource().attachImageIcon(this);
|
|---|
| 169 | }
|
|---|
| 170 |
|
|---|
| 171 | @Override
|
|---|
| 172 | public void actionPerformed(ActionEvent e) {
|
|---|
| 173 | HistoryLoadTask task = new HistoryLoadTask();
|
|---|
| 174 | task.add(browser.getHistory());
|
|---|
| 175 | MainApplication.worker.submit(task);
|
|---|
| 176 | }
|
|---|
| 177 | }
|
|---|
| 178 |
|
|---|
| 179 | class WindowClosingAdapter extends WindowAdapter {
|
|---|
| 180 | @Override
|
|---|
| 181 | public void windowClosing(WindowEvent e) {
|
|---|
| 182 | if (isVisible()) {
|
|---|
| 183 | closeAction.run();
|
|---|
| 184 | }
|
|---|
| 185 | }
|
|---|
| 186 | }
|
|---|
| 187 |
|
|---|
| 188 | /**
|
|---|
| 189 | * Replies the history browser.
|
|---|
| 190 | * @return the history browser
|
|---|
| 191 | */
|
|---|
| 192 | public HistoryBrowser getHistoryBrowser() {
|
|---|
| 193 | return browser;
|
|---|
| 194 | }
|
|---|
| 195 |
|
|---|
| 196 | @Override
|
|---|
| 197 | public void dispose() {
|
|---|
| 198 | HistoryDataSet.getInstance().removeHistoryDataSetListener(this);
|
|---|
| 199 | GuiHelper.destroyComponents(this, false);
|
|---|
| 200 | super.dispose();
|
|---|
| 201 | }
|
|---|
| 202 | }
|
|---|