use more widely compatible x symbol

This commit is contained in:
Ben Fry
2022-04-27 22:29:08 -04:00
parent 747172c919
commit c679fc4f3b

View File

@@ -842,7 +842,8 @@ public class PreferencesFrame {
String[] items = new String[displayCount];
for (int i = 0; i < displayCount; i++) {
DisplayMode mode = devices[i].getDisplayMode();
String title = String.format("%d (%d \u2715 %d)", // or \u00d7?
//String title = String.format("%d (%d \u2715 %d)", // or \u00d7?
String title = String.format("%d (%d \u00d7 %d)", // or \u2715?
i + 1, mode.getWidth(), mode.getHeight());
if (devices[i] == defaultDevice) {
title += " default";