-
-
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
Group no longer selected and focused when groups filter is deleted #3436
Comments
Maybe the following is also related to this issue (I am on the latest daily build on 2018-03-23):
It occurs only in recent builds for the month. I hope this has the same root cause as the OP's issue. |
This issue persists in: JabRef 5.0-dev--snapshot--2018-10-28--master--05047f32a |
JabRef 5.3--2021-01-04--10180ed The issues persists in the latest developer version of JabRef. The only change to the original issue description appears that instead of selecting/marking in blue another random group, now always the |
JabRef 5.4--2021-12-10--eff8073 The issue persists in the latest dev version (with the updates in #3436 (comment)). Please re-open! |
JabRef 5.10--2023-02-22--76b221d The issue persists in the current dev version (with the updates in #3436 (comment)). |
JabRef 4.1-dev--snapshot--2017-11-16--fix-GroupSearchPerformance--08d8a2ca0
Windows 10 10.0 amd64
Java 1.8.0_151
The text was updated successfully, but these errors were encountered: