-
Paolo Borelli authored
Some changes in gtk3 seem to have affected how labels inside our statusbar are sized. With this change we at least leave some right padding so that INS does not end up at the screen edge when the window is maximized.
fd3d8a32