From 144f06a00c58619557fb431877041fd9e4297a0f Mon Sep 17 00:00:00 2001
From: Enrico Forestieri <forenr@lyx.org>
Date: Thu, 25 Jan 2018 09:40:36 +0100
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/CutAndPaste.cpp b/src/CutAndPaste.cpp
index 3cc40022bc..582875aa3b 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;
-- 
2.39.5