|
@@ -580,19 +580,20 @@ class RenderTerminal extends RenderBox with RelayoutWhenSystemFontsChangeMixin {
|
|
|
italic: cellFlags & CellFlags.italic != 0,
|
|
italic: cellFlags & CellFlags.italic != 0,
|
|
|
underline: cellFlags & CellFlags.underline != 0,
|
|
underline: cellFlags & CellFlags.underline != 0,
|
|
|
);
|
|
);
|
|
|
|
|
+
|
|
|
// Flutter does not draw an underline below a space which is not between
|
|
// Flutter does not draw an underline below a space which is not between
|
|
|
// other regular characters. As only single characters are drawn, this
|
|
// other regular characters. As only single characters are drawn, this
|
|
|
// will never produce an underline below a space in the terminal. As a
|
|
// will never produce an underline below a space in the terminal. As a
|
|
|
// workaround the regular space CodePoint 0x20 is replaced with
|
|
// workaround the regular space CodePoint 0x20 is replaced with
|
|
|
// the CodePoint 0xA0. This is a non breaking space and a underline can be
|
|
// the CodePoint 0xA0. This is a non breaking space and a underline can be
|
|
|
// drawn below it.
|
|
// drawn below it.
|
|
|
- var c = String.fromCharCode(charCode);
|
|
|
|
|
|
|
+ var char = String.fromCharCode(charCode);
|
|
|
if (cellFlags & CellFlags.underline != 0 && charCode == 0x20) {
|
|
if (cellFlags & CellFlags.underline != 0 && charCode == 0x20) {
|
|
|
- c = String.fromCharCode(0xA0);
|
|
|
|
|
|
|
+ char = String.fromCharCode(0xA0);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
paragraph = _paragraphCache.performAndCacheLayout(
|
|
paragraph = _paragraphCache.performAndCacheLayout(
|
|
|
- c,
|
|
|
|
|
|
|
+ char,
|
|
|
style,
|
|
style,
|
|
|
hash,
|
|
hash,
|
|
|
);
|
|
);
|