// License: GPL. For details, see LICENSE file. package reverter; import static org.openstreetmap.josm.tools.I18n.tr; import java.awt.GridBagLayout; import java.awt.Insets; import javax.swing.JPanel; import org.openstreetmap.josm.Main; import org.openstreetmap.josm.gui.ExtendedDialog; @SuppressWarnings("serial") public class ObjectsHistoryDialog extends ExtendedDialog { public ObjectsHistoryDialog() { super(Main.parent, tr("Objects history"), new String[] {"Revert", "Cancel"}, false); contentInsets = new Insets(10, 10, 10, 5); setButtonIcons(new String[] {"ok.png", "cancel.png" }); setContent(new JPanel(new GridBagLayout())); setupDialog(); } }