Skip to content

Commit

Permalink
properly scale fonts
Browse files Browse the repository at this point in the history
  • Loading branch information
ix0rai committed Dec 27, 2023
1 parent 8a4bf28 commit 11eca65
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -27,9 +27,9 @@ public static void setupTheme() {
}

private static void setFonts() {
Font small = Config.currentFonts().small.value();
Font bold = Config.currentFonts().defaultBold.value();
Font normal = Config.currentFonts().defaultNormal.value();
Font small = ScaleUtil.scaleFont(Config.currentFonts().small.value());
Font bold = ScaleUtil.scaleFont(Config.currentFonts().defaultBold.value());
Font normal = ScaleUtil.scaleFont(Config.currentFonts().defaultNormal.value());

UIManager.put("CheckBox.font", bold);
UIManager.put("CheckBoxMenuItem.font", bold);
Expand Down

0 comments on commit 11eca65

Please sign in to comment.