Visual glitch of "number of differences in the Compare editor"

[stephan-herrmann]

The new label from #731 shows with truncated text on all my kubuntu - based machines:

I get the same results in existing workspaces and also using a fresh installation & workspace.