-
-
Notifications
You must be signed in to change notification settings - Fork 2.9k
Closed
Labels
component: uistatus: staleIssues marked by a bot as "stale". All issues need to be investigated manually.Issues marked by a bot as "stale". All issues need to be investigated manually.
Description
Changing preferences under Options
-> Preferences
does not seem to register immediately. However, after restarting JabRef, the updated preferences will be used.
On my machine, I can reproduce this with, for example, Preferences
-> Entry table
-> Fit table horizontally on screen
. Checking or unchecking this box will not have any result until JabRef restart.
JabRef 5.0-dev--snapshot--2019-05-01--master--f1b4b5be3
Mac OS X 10.14.4 x86_64
Java 1.8.0_212
Metadata
Metadata
Assignees
Labels
component: uistatus: staleIssues marked by a bot as "stale". All issues need to be investigated manually.Issues marked by a bot as "stale". All issues need to be investigated manually.