> > The space char is actually inserted, so yes, the line may end up > > one > > char longer. > > It is possible to not insert this char in this case as there's > > nothing > > displaying wrong. > > The other problem (raised on IRC) is that the space char may end up > > in > > copypasted text. I'll try with something non-printable such as an > > \0 > > and see if that works better, but I don't think the terminal view > > is > > happy displaying non-printable chars... > > This sounds rather hacky (and won't help with the clipboard anyway). > Why > not add an attributes member for the line break to TerminalLine? That sounds like a better solution, yes. I'll have a try at it. -- Adrien.