Ignore:
Timestamp:
2014-03-07T11:35:00+01:00 (6 years ago)
Author:
Don-vip
Message:

see #3764 - make UI messages copy-able (patch by simon04)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/AboutAction.java

    r6897 r6901  
    1919import org.openstreetmap.josm.data.Version;
    2020import org.openstreetmap.josm.gui.util.GuiHelper;
     21import org.openstreetmap.josm.gui.widgets.JMultilineLabel;
    2122import org.openstreetmap.josm.gui.widgets.JosmTextArea;
    2223import org.openstreetmap.josm.gui.widgets.UrlLabel;
     
    7475
    7576        JPanel info = new JPanel(new GridBagLayout());
    76         JLabel caption = new JLabel("JOSM – " + tr("Java OpenStreetMap Editor"));
    77         caption.setFont(GuiHelper.getTitleFont());
    78         info.add(caption, GBC.eol().fill(GBC.HORIZONTAL).insets(10,0,0,0));
    79         info.add(GBC.glue(0,10), GBC.eol());
    80         info.add(new JLabel(tr("Version {0}", version.getVersionString())), GBC.eol().fill(GBC.HORIZONTAL).insets(10,0,0,0));
    81         info.add(GBC.glue(0,5), GBC.eol());
    82         info.add(new JLabel(tr("Last change at {0}",version.getTime())), GBC.eol().fill(GBC.HORIZONTAL).insets(10,0,0,0));
    83         info.add(GBC.glue(0,5), GBC.eol());
    84         info.add(new JLabel(tr("Java Version {0}",System.getProperty("java.version"))), GBC.eol().fill(GBC.HORIZONTAL).insets(10,0,0,0));
    85         info.add(GBC.glue(0,10), GBC.eol());
     77        final JMultilineLabel label = new JMultilineLabel("<html>" +
     78                "<h1>" + "JOSM – " + tr("Java OpenStreetMap Editor") + "</h1>" +
     79                "<p style='font-size:75%'></p>" +
     80                "<p>" + tr("Version {0}", version.getVersionString()) + "</p>" +
     81                "<p style='font-size:50%'></p>" +
     82                "<p>" + tr("Last change at {0}", version.getTime()) + "</p>" +
     83                "<p style='font-size:50%'></p>" +
     84                "<p>" + tr("Java Version {0}", System.getProperty("java.version")) + "</p>" +
     85                "<p style='font-size:50%'></p>" +
     86                "</html>");
     87        info.add(label, GBC.eol().fill(GBC.HORIZONTAL).insets(10, 0, 0, 0));
    8688        info.add(new JLabel(tr("Homepage")), GBC.std().insets(10,0,10,0));
    8789        info.add(new UrlLabel(Main.getJOSMWebsite(),2), GBC.eol().fill(GBC.HORIZONTAL));
Note: See TracChangeset for help on using the changeset viewer.