2424class AppearancePrefsTab extends Pane implements PreferencesTab {
2525
2626 private final JabRefPreferences prefs ;
27- private final CheckBox fontTweaksLAF ;
2827 private final TextField fontSize ;
2928 private final CheckBox overrideFonts ;
3029 private final DialogService dialogService ;
@@ -46,7 +45,6 @@ public AppearancePrefsTab(DialogService dialogService, JabRefPreferences prefs)
4645 fontSize = new TextField ();
4746 fontSize .setTextFormatter (ControlHelper .getIntegerTextFormatter ());
4847 Label fontSizeLabel = new Label (Localization .lang ("Font size:" ));
49- fontTweaksLAF = new CheckBox (Localization .lang ("Tweak font rendering for entry editor on Linux" ));
5048
5149 ToggleGroup themeGroup = new ToggleGroup ();
5250 lightTheme = new RadioButton ("Light theme" );
@@ -83,17 +81,12 @@ public Node getBuilder() {
8381
8482 @ Override
8583 public void setValues () {
86- fontTweaksLAF .setSelected (prefs .getBoolean (JabRefPreferences .FX_FONT_RENDERING_TWEAK ));
8784 overrideFonts .setSelected (prefs .getBoolean (JabRefPreferences .OVERRIDE_DEFAULT_FONT_SIZE ));
8885 fontSize .setText (String .valueOf (prefs .getInt (JabRefPreferences .MAIN_FONT_SIZE )));
8986 }
9087
9188 @ Override
9289 public void storeSettings () {
93- // Java FX font rendering tweak
94- final boolean oldFxTweakValue = prefs .getBoolean (JabRefPreferences .FX_FONT_RENDERING_TWEAK );
95- prefs .putBoolean (JabRefPreferences .FX_FONT_RENDERING_TWEAK , fontTweaksLAF .isSelected ());
96-
9790 final boolean oldOverrideDefaultFontSize = prefs .getBoolean (JabRefPreferences .OVERRIDE_DEFAULT_FONT_SIZE );
9891 final int oldFontSize = prefs .getInt (JabRefPreferences .MAIN_FONT_SIZE );
9992 prefs .putBoolean (JabRefPreferences .OVERRIDE_DEFAULT_FONT_SIZE , overrideFonts .isSelected ());
@@ -111,8 +104,7 @@ public void storeSettings() {
111104 }
112105
113106 boolean isRestartRequired =
114- (oldFxTweakValue != fontTweaksLAF .isSelected ())
115- || (oldOverrideDefaultFontSize != overrideFonts .isSelected ())
107+ (oldOverrideDefaultFontSize != overrideFonts .isSelected ())
116108 || (oldFontSize != newFontSize )
117109 || isThemeChanged ;
118110 if (isRestartRequired ) {
0 commit comments