I'm using JabRef 5 master build (JabRef-5.0-portable_linux.tar.gz, JabRef 5.0-beta.342--2020-01-15--58709e7, Linux 4.4.0-171-generic amd64 Java 13.0.2) on Ubuntu 16.04.
Steps to reproduce the behavior:
- Click "Options"
- Click "Manage external file types"
- Click pencil edit icon
- change some values
- Click "OK"
- Result: The changed settings are lost.
Whenever changing some settings in step 4 and clicking "OK", the settings will not be stored: The shown table is not being updated and when clicking the same pencil edit icon once again, the original, unchanged settings appear once again.
In my case, I especially wanted to assign a specific pdf reader/editor solely for JabRef (which should be different to the default pdf reader on my system), but setting a different one could not be accomplished.
At this point I would like to reference an already mentioned issue, which is related to setting a different pdf reader/editor: "Open PDF options" #5529 Nevertheless, this referenced issue is about a different dialog in JabRef.
In my opinion, it should really be possible to assign user-specific programs to given file types and not relying on the system's settings. This allows important program-specific personalization.
I'm using JabRef 5 master build (JabRef-5.0-portable_linux.tar.gz, JabRef 5.0-beta.342--2020-01-15--58709e7, Linux 4.4.0-171-generic amd64 Java 13.0.2) on Ubuntu 16.04.
Steps to reproduce the behavior:
Whenever changing some settings in step 4 and clicking "OK", the settings will not be stored: The shown table is not being updated and when clicking the same pencil edit icon once again, the original, unchanged settings appear once again.
In my case, I especially wanted to assign a specific pdf reader/editor solely for JabRef (which should be different to the default pdf reader on my system), but setting a different one could not be accomplished.
At this point I would like to reference an already mentioned issue, which is related to setting a different pdf reader/editor: "Open PDF options" #5529 Nevertheless, this referenced issue is about a different dialog in JabRef.
In my opinion, it should really be possible to assign user-specific programs to given file types and not relying on the system's settings. This allows important program-specific personalization.