Skip to content

Commit 9768ab3

Browse files
authored
Fix name (#14399)
1 parent 92cc09d commit 9768ab3

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

jabgui/src/main/java/org/jabref/gui/preferences/JabRefGuiPreferences.java

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -432,7 +432,7 @@ public void importPreferences(Path file) throws JabRefException {
432432
super.importPreferences(file);
433433

434434
// in case of incomplete or corrupt xml fall back to current preferences
435-
getWorkspacePreferences().setAll(getWorkspacePreferencesFromLowLevelApi(getWorkspacePreferences()));
435+
getWorkspacePreferences().setAll(getWorkspacePreferencesFromBackingStore(getWorkspacePreferences()));
436436
}
437437

438438
// region EntryEditorPreferences
@@ -647,7 +647,7 @@ public WorkspacePreferences getWorkspacePreferences() {
647647
return workspacePreferences;
648648
}
649649

650-
workspacePreferences = getWorkspacePreferencesFromLowLevelApi(WorkspacePreferences.getDefault());
650+
workspacePreferences = getWorkspacePreferencesFromBackingStore(WorkspacePreferences.getDefault());
651651

652652
EasyBind.listen(workspacePreferences.languageProperty(), (_, oldValue, newValue) -> {
653653
put(LANGUAGE, newValue.getId());
@@ -678,7 +678,7 @@ public WorkspacePreferences getWorkspacePreferences() {
678678
return workspacePreferences;
679679
}
680680

681-
private WorkspacePreferences getWorkspacePreferencesFromLowLevelApi(WorkspacePreferences defaults) {
681+
private WorkspacePreferences getWorkspacePreferencesFromBackingStore(WorkspacePreferences defaults) {
682682
return new WorkspacePreferences(
683683
getLanguage(),
684684
getBoolean(OVERRIDE_DEFAULT_FONT_SIZE, defaults.shouldOverrideDefaultFontSize()),

0 commit comments

Comments
 (0)