Fix bug #7402. Many thanks to Vincent who found the wrong revision.

Read the comment of odocstream in src/support/docstream.h if you want to 
know why this fix is correct.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@38335 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Georg Baum 2011-04-11 20:11:27 +00:00
parent 0a48051f27
commit 95d2b2f082
2 changed files with 5 additions and 5 deletions

View File

@ -42,9 +42,9 @@ typedef std::basic_istream<char_type> idocstream;
\endcode, not \code
os << c;
\endcode . The latter will not output the character, but the code point
as number. This is because we can't overload operator<< (our character
type is not a real type but a typedef). Narrow characters of type char
can be output as usual.
as number if USE_WCHAR_T is not defined. This is because we can't overload
operator<< (our character type is not always a real type but sometimes a
typedef). Narrow characters of type char can be output as usual.
*/
typedef std::basic_ostream<char_type> odocstream;

View File

@ -410,13 +410,13 @@ bool skip_braces(Parser & p)
/// replace LaTeX commands in \p s from the unicodesymbols file with their
/// unciode points
/// unicode points
docstring convert_unicodesymbols(docstring s)
{
odocstringstream os;
for (size_t i = 0; i < s.size();) {
if (s[i] != '\\') {
os << s[i++];
os.put(s[i++]);
continue;
}
s = s.substr(i);