From eea318804cffa1c2ace4b41e5a0bcf8a59f9b594 Mon Sep 17 00:00:00 2001 From: Darcy Shen Date: Sat, 12 Oct 2024 00:30:58 +0800 Subject: [PATCH] wip --- TeXmacs/langs/encoding/herktounicode.scm | 4 ++-- src/Data/String/converter.cpp | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/TeXmacs/langs/encoding/herktounicode.scm b/TeXmacs/langs/encoding/herktounicode.scm index f60bbd68e..da5cffebb 100644 --- a/TeXmacs/langs/encoding/herktounicode.scm +++ b/TeXmacs/langs/encoding/herktounicode.scm @@ -68,9 +68,9 @@ ("#39" "#39") ("#3A" "#3A") ("#3B" "#3B") -;; ("#3C" "#3C") ; less than +("#3C" "#3C") ; less than ("#3D" "#3D") -;; ("#3E" "#3E") ; greater than +("#3E" "#3E") ; greater than ("#3F" "#3F") ("#40" "#40") ("#41" "#41") diff --git a/src/Data/String/converter.cpp b/src/Data/String/converter.cpp index 260854024..39fecde06 100644 --- a/src/Data/String/converter.cpp +++ b/src/Data/String/converter.cpp @@ -367,10 +367,10 @@ utf8_to_herk (string input) { int start, i, n= N (input); string output; for (i= 0; i < n;) { - start = i; + start = i; uint32_t code= decode_from_utf8 (input, i); - string s = input (start, i); - string r = apply (conv, s); + string s = input (start, i); + string r = apply (conv, s); if (r == s && (code < 32 || code >= 128)) r= "<#" * to_Hex (code) * ">"; output << r; }