Groups no longer highlighted

[lc9275]

In the past, when an article was selected its parent groups lit up. This does no longer be the case (or I cannot find the option in the new jabref). So as far as I can tell, there is really no way of seeing which groups an article belongs to.

JabRef 5.0-dev--snapshot--2018-08-23--master--add2b0b94
Windows 10 10.0 amd64
Java 1.8.0_181

[JoKalliauer]

@Ic9275 (I'm just another user, without much knowledge)
Groups are highlighted on my computer:

JabRef 5.0-dev--snapshot--2018-08-24--master--f43b9c7e8
Linux 4.15.0-33-generic amd64 
Java 1.8.0_181

The group with the labeled numbers, with the green background, are highlighted.

But this function seems to be a bit buggy and does not always update (I did not find out why), restarting JabRef might help and it does not work for all entries, but for some it does.

[tobiasdiez]

Duplicate of #3112