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.