I updated my wide streams patch to current svn, incorporating the feedback from Angus. Since I did not get objections I am going to put it in now.
I attach the patch for reference, since it is too big for the automatic
commit message.
Georg
Log:
Introduce wide streams. This fixes the remaining problems of plain text
export (e.g. the ToC) and the navigate menu.
* src/insets/insetbase.h
(InsetBase::plaintext): output to a docstream
(InsetBase::textString): ditto
* src/mathed/TextPainter.h
(TextPainter::show): ditto
* src/support/docstream.[Ch] New file and string streams for
docstring. The file streams convert to UTF8 on the fly.
* many more files: Adjust to the changes above
x.diff.bz2
Description: BZip2 compressed data
