-
Cosimo Cecchi authored
At the same time, add a bit more padding to the floating bar label, so that it won't be covered by the grip. Remove some margin at the bottom of the window too.
45945cd4
At the same time, add a bit more padding to the floating bar label, so that it won't be covered by the grip. Remove some margin at the bottom of the window too.