Ticket #17192: 17192.patch

File 17192.patch, 2.8 KB (added by GerdP, 5 weeks ago)

Add tab "Installation Detais" to About JOSM popup

  • src/org/openstreetmap/josm/actions/AboutAction.java

     
    22package org.openstreetmap.josm.actions;
    33
    44import static org.openstreetmap.josm.tools.I18n.tr;
     5import static org.openstreetmap.josm.tools.Utils.getSystemEnv;
     6import static org.openstreetmap.josm.tools.Utils.getSystemProperty;
    57
    68import java.awt.Color;
    79import java.awt.Dimension;
     
    3739import org.openstreetmap.josm.tools.ImageProvider.ImageSizes;
    3840import org.openstreetmap.josm.tools.Logging;
    3941import org.openstreetmap.josm.tools.OpenBrowser;
     42import org.openstreetmap.josm.tools.PlatformManager;
    4043import org.openstreetmap.josm.tools.Shortcut;
    4144import org.openstreetmap.josm.tools.Utils;
    4245
     
    112115        info.add(logos, GBC.eol().insets(0, 10, 0, 0));
    113116        info.add(GBC.glue(0, 5), GBC.eol());
    114117
     118        final String envJavaHome = getSystemEnv("JAVA_HOME");
     119        final String envJavaHomeAlt = PlatformManager.isPlatformWindows() ? "%JAVA_HOME%" : "${JAVA_HOME}";
     120        final String propJavaHome = getSystemProperty("java.home");
     121        final String propJavaHomeAlt = "<java.home>";
     122        final String prefDir = Config.getDirs().getPreferencesDirectory(false).toString();
     123        final String prefDirAlt = "<josm.pref>";
     124        final String userDataDir = Config.getDirs().getUserDataDirectory(false).toString();
     125        final String userDataDirAlt = "<josm.userdata>";
     126        final String userCacheDir = Config.getDirs().getCacheDirectory(false).toString();
     127        final String userCacheDirAlt = "<josm.cache>";
     128
     129        JosmTextArea inst = new JosmTextArea();
     130        inst.setEditable(false);
     131        inst.append(envJavaHomeAlt + " = " + envJavaHome + '\n');
     132        inst.append(propJavaHomeAlt + " = " + propJavaHome + '\n');
     133        inst.append(prefDirAlt + " = " + prefDir + '\n');
     134        inst.append(userDataDirAlt + " = " + userDataDir + '\n');
     135        inst.append(userCacheDirAlt + " = " + userCacheDir + '\n');
     136        inst.setCaretPosition(0);
     137
    115138        about.addTab(tr("Info"), info);
    116139        about.addTab(tr("Readme"), createScrollPane(readme));
    117140        about.addTab(tr("Revision"), createScrollPane(revision));
     
    118141        about.addTab(tr("Contribution"), createScrollPane(contribution));
    119142        about.addTab(tr("License"), createScrollPane(license));
    120143        about.addTab(tr("Plugins"), new JScrollPane(PluginHandler.getInfoPanel()));
     144        about.addTab(tr("Installation Details"), inst);
    121145
    122146        // Get the list of Launchpad contributors using customary msgid “translator-credits”
    123147        String translators = tr("translator-credits");