use pre-wrap, fixes #2673

This commit is contained in:
Johannes Rieken 2016-02-04 10:13:55 +01:00
parent 238c707342
commit ad09563752

View file

@ -69,7 +69,7 @@ function _tokenizeToString(text: string, tokenizationSupport: Modes.ITokenizatio
result += '<br/>';
};
result = '<div style="white-space: pre;">';
result = '<div style="white-space: pre-wrap;">';
_tokenizeLines(text, tokenizationSupport, emitToken, emitNewLine);
result += '</div>';