JabRef version
5.12 (latest release)
Operating system
Windows
Details on version and operating system
Windows 11
Checked with the latest development build (copy version output from About dialog)
Steps to reproduce the behaviour
- Go to Preferences.
- Navigate to the Entry tab.
- Try to change the owner's name.
- Save the changes.
I tried to figure out why this went wrong, and I found this line that sets filePreferences = null, I want to know why this is important?
|
EasyBind.listen(ownerPreferences.defaultOwnerProperty(), (obs, oldValue, newValue) -> { |
|
put(DEFAULT_OWNER, newValue); |
|
// trigger re-determination of userAndHost and the dependent preferences |
|
userAndHost = null; |
|
filePreferences = null; |
|
internalPreferences = null; |
|
}); |
During the saving process, when it saves the preferences of the External file types tab, it changes in the externalFileTypes.
|
filePreferences.getExternalFileTypes().clear(); |
|
filePreferences.getExternalFileTypes().addAll(saveList); |
This change will trigger this listener which has filePreferences set to null.
|
filePreferences.getExternalFileTypes().addListener((SetChangeListener<ExternalFileType>) c -> |
|
put(EXTERNAL_FILE_TYPES, ExternalFileTypes.toStringList(filePreferences.getExternalFileTypes()))); |
JabRef version
5.12 (latest release)
Operating system
Windows
Details on version and operating system
Windows 11
Checked with the latest development build (copy version output from About dialog)
Steps to reproduce the behaviour
I tried to figure out why this went wrong, and I found this line that sets
filePreferences = null, I want to know why this is important?jabref/src/main/java/org/jabref/preferences/JabRefPreferences.java
Lines 1400 to 1406 in c0a3840
During the saving process, when it saves the preferences of the
External file types tab, it changes in theexternalFileTypes.jabref/src/main/java/org/jabref/gui/preferences/externalfiletypes/ExternalFileTypesTabViewModel.java
Lines 51 to 52 in c0a3840
This change will trigger this listener which has
filePreferencesset to null.jabref/src/main/java/org/jabref/preferences/JabRefPreferences.java
Lines 2208 to 2209 in c0a3840