Groups panel: Unused space (and possible solution)

[AEgit]

JabRef 4.0.0-dev--snapshot--2017-05-09--master--78185153b
Windows 10 10.0 amd64
Java 1.8.0_131

The groups panel currently requires quite a lot of space, if the complete group names are to be shown, especially in highly nested group structures. If there's not enough space, the group names will be abbreviated or - in the worst case - not shown. I noticed that there's quite a lof of unused space between the group names and the figure indicating the number of entries in a group. Maybe this space needs to be reduced a bit (?). See attached file for comparison:

[LinusDietz]

related? #2803

[AEgit]

Hmmm, it's not the same problem, as pixels are not missing in the UI. But, indeed, you could see it as being related to this UI design issue.

[Siedlerchr]

It would be nice if you could check with this tool the css styles: http://fxexperience.com/scenic-view/
This could give us some insights where the space is comingfrom

[tobiasdiez]

This should be fixed in the latest development version. Could you please check the build from http://builds.jabref.org/master/. Thanks!

[AEgit]

I can confirm that this has been fixed in:
JabRef 4.0.0-dev--snapshot--2017-05-14--master--d6b6235a4

Thank you very much!