-
Thomas Roessler authored
line/right jusitifying does not work in menus when $arrow_cursor is set, because the extra space needed for the arrow is not taken into account. (From Gero Treuner <gero@faveve.uni-stuttgart.de>)
31beda39
line/right jusitifying does not work in menus when $arrow_cursor is set, because the extra space needed for the arrow is not taken into account. (From Gero Treuner <gero@faveve.uni-stuttgart.de>)