From c679fc4f3b4184e33ae7ee101ac65ef2d7c9e90d Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Wed, 27 Apr 2022 22:29:08 -0400
Subject: [PATCH] use more widely compatible x symbol

---
 app/src/processing/app/ui/PreferencesFrame.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/ui/PreferencesFrame.java b/app/src/processing/app/ui/PreferencesFrame.java
index 2f98fb148..841501b19 100644
--- a/app/src/processing/app/ui/PreferencesFrame.java
+++ b/app/src/processing/app/ui/PreferencesFrame.java
@@ -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";