metal and darcula are named, system can vary across platforms

pull/53/head
Zlatin Balevsky 2020-12-10 19:33:51 +00:00
parent aef1af34a3
commit 45769cbaf3
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 3 additions and 3 deletions

View File

@ -113,12 +113,12 @@ class OptionsModel {
UISettings uiSettings = application.context.get("ui-settings") UISettings uiSettings = application.context.get("ui-settings")
showMonitor = uiSettings.showMonitor showMonitor = uiSettings.showMonitor
if (uiSettings.lnf.equalsIgnoreCase("system")) if (uiSettings.lnf.equalsIgnoreCase("metal"))
systemLnf = true metalLnf = true
else if (uiSettings.lnf.equalsIgnoreCase("com.bulenkov.darcula.DarculaLaf")) else if (uiSettings.lnf.equalsIgnoreCase("com.bulenkov.darcula.DarculaLaf"))
darculaLnf = true darculaLnf = true
else else
metalLnf = true systemLnf = true
font = uiSettings.font font = uiSettings.font
automaticFontSize = uiSettings.autoFontSize automaticFontSize = uiSettings.autoFontSize
customFontSize = uiSettings.fontSize customFontSize = uiSettings.fontSize