adjust clipboard emoji size to be theme-specific

benfry · benfry · commit 86f6bb1656aa · 2018-03-26T18:07:12.000-04:00
diff --git a/app/src/processing/app/ui/EditorStatus.java b/app/src/processing/app/ui/EditorStatus.java
@@ -203,7 +203,8 @@ public void updateMode() {
     };
 
     font = mode.getFont("status.font");
-    emojiFont = new Font("Dialog", Font.PLAIN, 22);
+    //emojiFont = new Font("Dialog", Font.PLAIN, 21);
+    emojiFont = mode.getFont("status.emoji.font");
     metrics = null;
   }
 
diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt
@@ -8,6 +8,9 @@ status.warning.bgcolor = #EF8115
 status.warning.fgcolor = #FFFFFF
 status.url.fgcolor = #cccccc
 status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,19
+status.emoji.font.macosx = Dialog,plain,22
 
 # HEADER TABS
 # Settings for the tab area at the top.

Original file line number	Diff line number	Diff line change
`@@ -203,7 +203,8 @@ public void updateMode() {`
`203`	`203`	`};`
`204`	`204`
`205`	`205`	`font = mode.getFont("status.font");`
`206`		`- emojiFont = new Font("Dialog", Font.PLAIN, 22);`
	`206`	`+ //emojiFont = new Font("Dialog", Font.PLAIN, 21);`
	`207`	`+ emojiFont = mode.getFont("status.emoji.font");`
`207`	`208`	`metrics = null;`
`208`	`209`	`}`
`209`	`210`