Changeset 10933 in josm


Ignore:
Timestamp:
2016-09-03T00:09:12+02:00 (8 years ago)
Author:
Don-vip
Message:

rework status report to avoid additional comma at the end of display screens

File:
1 edited

Legend:

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

    r10932 r10933  
    77import java.awt.Dimension;
    88import java.awt.DisplayMode;
    9 import java.awt.GraphicsDevice;
    109import java.awt.GraphicsEnvironment;
    1110import java.awt.event.ActionEvent;
     
    9897        text.append("Screen: ");
    9998        if (!GraphicsEnvironment.isHeadless()) {
    100             for (GraphicsDevice gd : GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) {
    101                 DisplayMode dm = gd.getDisplayMode();
    102                 if (dm != null) {
    103                     text.append(gd.getIDstring()).append(' ')
    104                         .append(dm.getWidth()).append('x')
    105                         .append(dm.getHeight())
    106                         .append(", ");
    107                 }
    108             }
     99            text.append(Arrays.stream(GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()).map(gd -> {
     100                        StringBuilder b = new StringBuilder(gd.getIDstring());
     101                        DisplayMode dm = gd.getDisplayMode();
     102                        if (dm != null) {
     103                            b.append(' ').append(dm.getWidth()).append('x').append(dm.getHeight());
     104                        }
     105                        return b.toString();
     106                    }).collect(Collectors.joining(", ")));
    109107        }
    110108        Dimension maxScreenSize = GuiHelper.getMaximumScreenSize();
Note: See TracChangeset for help on using the changeset viewer.