66: display.getMetrics(metrics);
-
72: result.append(display.getDisplayId()).append(".height=").append(display.getHeight()).append('\n');
-
75: result.append(display.getDisplayId()).append(".orientation=").append(display.getOrientation()).append('\n');
76: result.append(display.getDisplayId()).append(".pixelFormat=").append(display.getPixelFormat()).append('\n');
-
80: result.append(display.getDisplayId()).append(".refreshRate=").append(display.getRefreshRate()).append('\n');
-
83: result.append(display.getDisplayId()).append(".width=").append(display.getWidth()).append('\n');
Full Snippet Info