-
-
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
Default of groups interface has changed? Groups interface doesn't appear automatically anymore. #1825
Comments
The groups interface doesn't toggle automatically anymore if there are groups inside the database, this is expected #1610. |
Thanks for the explanation: So it is just the current state of the groups interface that needs to be saved. |
See #2201 |
I can confirm that this problem has been fixed in: Thank you very much! |
JabRef 3.6dev--snapshot--2016-08-23--master--9ac0e67
windows 10 10.0 amd64
Java 1.8.0_101
It seems as if the default for the groups interface has changed (see also #1760 (comment)).
Before updating to the current version (JabRef 3.6dev--snapshot--2016-08-23--master--9ac0e67), the groups interface was automatically toggled on (JabRef 3.6dev--snapshot--2016-07-29--fix1639--e838541).
Now, even if I toggle on the groups interface, save the database, close it and then reopen it, the groups interface won't appear automatically. I have to toggle it on again, manually. Can you confirm this or is it just that I don't find the respective setting under preferences?
This might be related to changes between the versions:
JabRef 3.6dev--snapshot--2016-07-29--fix1639--e838541
and
JabRef 3.6dev--snapshot--2016-08-23--master--9ac0e67
(see also here: #1760 (comment))
The text was updated successfully, but these errors were encountered: