-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changing owner name crashes the application #10924
Labels
Comments
Siedlerchr
added
bug
Confirmed bugs or reports that are very likely to be bugs
preferences
labels
Feb 26, 2024
Note that the reference to line 1404 should have included a reference to the comment two lines above:
Thus, there is something wrong at "re-determination". |
Full stack trace:
|
6 tasks
github-project-automation
bot
moved this from Normal priority
to Done
in Prioritization
Feb 28, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
filePreferences
set to null.jabref/src/main/java/org/jabref/preferences/JabRefPreferences.java
Lines 2208 to 2209 in c0a3840
The text was updated successfully, but these errors were encountered: