-
José Aliste authored
This fix a render bug where the infobar would not add borders arount its content. Fix proposed by Benjamin Otte.
1da07caa
This fix a render bug where the infobar would not add borders arount its content. Fix proposed by Benjamin Otte.