Changeset 16911 in josm for trunk/src/org/openstreetmap/josm/actions

Timestamp:

2020-08-23T13:05:53+02:00 (4 years ago)

Author:

simon04

Message:

see #18376 - Status report: add Linux desktop environment

File:

• trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java

@@ -129 +129 @@
         if (PlatformManager.isPlatformUnixoid()) {
             PlatformHookUnixoid platform = (PlatformHookUnixoid) PlatformManager.getPlatform();
+            // Add desktop environment
+            platform.getDesktopEnvironment().ifPresent(desktop -> text
+                    .append("Desktop environment: ")
+                    .append(desktop)
+                    .append('\n'));
             // Add Java package details
             String packageDetails = platform.getJavaPackageDetails();