hum, in fact it seems to not happen with the default font config, mine is slightly bigger, setting as a low importance issue
hum, in fact it seems to not happen with the default font config, mine is slightly bigger, setting as a low importance issue