-
-
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
preferences: external file types duplicates #10271
Comments
I just saw clicking "reset to default" removes the duplicates. |
Might be related to #10176 |
Yes, in either case, when jabref is set to English, it would be impossible to see Dutch translation anywhere. Update:
|
Low priority, as while this is confusing and not visually pleasing, i expect, it does not break any workflow or has any other negative effects. |
Is it better not to report bugs like this that don't break anything? |
There is nothing wrong with reporting those. How could we ever have new features or enhancements otherwise? ;-) Some of these isssues could be a "good first issue" for somebody or somebody with the willingness and knowledge how to fix them might do it. SInce JabRef is open source, we never know if, or when somebody opens a pull-request. The beauty of open source is that everybody can come and propose a fix :-) Often people have their own particular itch they want scratched, so there are not too many that fix issues for others, but they do exist. Unfortunately, if you look at the issue tracker, you will see that it grows ever larger. Developers simply do not have the time to fix them all. |
Currently when the program starts, it loaded list of external file types from saved preferences, and compare with list of default file types in the application. If the name of default file types is not found the saved file type list, that will added to the preferences file type list. Problem occurs when langauage changes, as the default file type names will be different. (e.g. GIF image vs GIF afbeelding) Please assign this ticket to me, I can help to change the comparsion by name to comparsion by file extension(.GIF vs .GIF). |
thanks for looking into this! @papatekken That seems a likely explanation |
In current codebase, I found that duplicate extensions are allowed. Can I assume external file types list should contains unique extension only? If the answer is yes, I will modify corresponding codes as well. |
@papatekken Sorry for the delayed response, yes, external file types should be unique extensions |
JabRef version
5.9 (latest release)
Operating system
Windows
Details on version and operating system
Windows 10 22H2
Checked with the latest development build
Steps to reproduce the behaviour
Appendix
...
Log File
The text was updated successfully, but these errors were encountered: