fixed a glitch for the "line break" option in the symbols menu

upd4.1
Jens Mönig 2017-01-20 13:51:57 +01:00
rodzic d00f091f6f
commit b370e9a337
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -2926,7 +2926,7 @@ InputSlotDialogMorph.prototype.symbolMenu = function () {
'$' + symbol
]);
});
symbols.push(['\u03A0 ' + localize('line break'), 'br']);
symbols.push(['\u03A0 ' + localize('line break'), '$br']);
return symbols;
};