UI defaults dumps updated for commits b82ee2ef61 and 93e0496fd2

This commit is contained in:
Karl Tauber
2022-07-09 10:19:54 +02:00
parent 9977bcb468
commit f460ef7685
5 changed files with 9 additions and 9 deletions

View File

@@ -129,7 +129,7 @@
#---- monospaced ----
- monospaced.font [active] Consolas plain 12 javax.swing.plaf.FontUIResource [UI]
- monospaced.font [active] Monospaced plain 12 javax.swing.plaf.FontUIResource [UI]
+ monospaced.font [active] Menlo plain 13 javax.swing.plaf.FontUIResource [UI]