mirror of
https://github.com/processing/processing4.git
synced 2026-05-03 17:35:00 +02:00
adjust clipboard emoji size to be theme-specific
This commit is contained in:
@@ -203,7 +203,8 @@ public class EditorStatus extends BasicSplitPaneDivider { //JPanel {
|
||||
};
|
||||
|
||||
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;
|
||||
}
|
||||
|
||||
|
||||
@@ -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.
|
||||
|
||||
Reference in New Issue
Block a user