bug fixes for gavldac's solve improvement

2024-04-08 10:33:44 -06:00
parent 8ac780faeb
commit 1ce9c4c408
20 changed files with 6 additions and 4 deletions
@@ -185,8 +185,10 @@ public class Settings {
                            fontName + ".ttf";
        else if(os.startsWith("mac"))
            fontFilepath = "/Library/Fonts/" + fontName + ".ttf";
-        else
-            fontFilepath = "/usr/share/fonts/" + fontName + ".ttf";
+        else {
+            fontName = "HackNerdFontMono-Regular";
+            fontFilepath = "/usr/share/fonts/TTF/" + fontName + ".ttf";
+        }

        // Register the font with the GraphicsEnvironment.
        try {
@@ -538,4 +540,4 @@ public class Settings {
        this.autoSaveFrequency = autoSaveFrequency;
        updateSettingsFile();
    }
-}
+}