From ffde4987e9cb173c0b6e5a904d798ec4cd2580e6 Mon Sep 17 00:00:00 2001 From: Glavo Date: Wed, 2 Mar 2022 00:20:17 +0800 Subject: [PATCH] delete css on exit --- .../main/java/org/jackhuang/hmcl/setting/Theme.java | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/HMCL/src/main/java/org/jackhuang/hmcl/setting/Theme.java b/HMCL/src/main/java/org/jackhuang/hmcl/setting/Theme.java index 2e3d71ed3..9c0cef24a 100644 --- a/HMCL/src/main/java/org/jackhuang/hmcl/setting/Theme.java +++ b/HMCL/src/main/java/org/jackhuang/hmcl/setting/Theme.java @@ -83,14 +83,7 @@ public class Theme { public String[] getStylesheets(String overrideFontFamily) { Color textFill = getForegroundColor(); - String fontFamily; - if (System.getProperty("hmcl.font.override") != null) { - fontFamily = System.getProperty("hmcl.font.override"); - } else if (overrideFontFamily != null) { - fontFamily = overrideFontFamily; - } else { - fontFamily = null; - } + String fontFamily = System.getProperty("hmcl.font.override", overrideFontFamily); String css; try { @@ -104,6 +97,7 @@ public class Theme { .replace("%disabled-font-color%", String.format("rgba(%d, %d, %d, 0.7)", (int) Math.ceil(textFill.getRed() * 256), (int) Math.ceil(textFill.getGreen() * 256), (int) Math.ceil(textFill.getBlue() * 256))) .replace("%font-color%", getColorDisplayName(getForegroundColor())) .replace("%font%", Optional.ofNullable(fontFamily).map(f -> "-fx-font-family: \"" + f + "\";").orElse(""))); + temp.deleteOnExit(); css = temp.toURI().toString(); } catch (IOException | NullPointerException e) { Logging.LOG.log(Level.SEVERE, "Unable to create theme stylesheet. Fallback to blue theme.", e);