commit 144f06a00c58619557fb431877041fd9e4297a0f
Author: Enrico Forestieri <[email protected]>
Date:   Thu Jan 25 09:40:36 2018 +0100

    Correctly output a single char_type
    
    On platforms where char_type is typedef'd to an integral type
    rather than to wchar_t, when using the insertion operator <<
    a single char_type is output as the number corresponding to the
    code point of the character rather than as the character itself.
    In this case, one has to use put().
---
 src/CutAndPaste.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/CutAndPaste.cpp b/src/CutAndPaste.cpp
index 3cc4002..582875a 100644
--- a/src/CutAndPaste.cpp
+++ b/src/CutAndPaste.cpp
@@ -172,7 +172,7 @@ pasteSelectionHelper(DocIterator const & cur, ParagraphList 
const & parlist,
                                char_type const c = insertion[i].getChar(j);
                                if (!e->encodable(c)) {
                                        // do not track deletion
-                                       res << c;
+                                       res.put(c);
                                        insertion[i].eraseChar(j, false);
                                        --end;
                                        --j;

Reply via email to