JabRef 5.0.0-dev--2019-10-25----681d6aa6f
Linux 5.0.0-32-generic amd64
Java 12.0.2
Steps to reproduce the behavior:
- Add new entry that is not in any group
- Manually assign a group to the entry via drag&drop onto an existing group
- In the entry list, the groups-column is not updated for the newly grouped entry. I have to explicitly switch the displayed group in order for the entry list to refresh and show the group badges (the color stripes) for the new entry. Alternatively a restart does the same.
Thus the entry gets added to that group just fine. It's just the entry list that doesn't get updated on this
JabRef 5.0.0-dev--2019-10-25----681d6aa6f
Linux 5.0.0-32-generic amd64
Java 12.0.2
Steps to reproduce the behavior:
Thus the entry gets added to that group just fine. It's just the entry list that doesn't get updated on this