-
Matthias Clasen authored
The previous way of manually juggling the visibility of the labels doesn't work anymore, now that gadgets of invisible widgets don't allocate space anymore.
adfb76dc
The previous way of manually juggling the visibility of the labels doesn't work anymore, now that gadgets of invisible widgets don't allocate space anymore.