diff options
| author | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
| commit | 685554b2c272fdefc23bb1d237c059b52ab5fc58 (patch) | |
| tree | 9e0e7ff41f688bdc07fdb7869fc0258725197bcf /project/dclib/dclib-ui.c | |
| parent | ac9a0b25eaffaa05e5431a8527dab8649ef6504f (diff) | |
SZS v2.41a
Diffstat (limited to 'project/dclib/dclib-ui.c')
| -rw-r--r-- | project/dclib/dclib-ui.c | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/project/dclib/dclib-ui.c b/project/dclib/dclib-ui.c index 25f5702..3933822 100644 --- a/project/dclib/dclib-ui.c +++ b/project/dclib/dclib-ui.c @@ -436,6 +436,50 @@ void DumpText } break; + case '\xc2': + if (is_makedoc) + { + #if 1 + uint code = 0; + switch (text[1]) + { + case '\xab': // « + case '\xbb': // » + code = text[1]; + break; + } + + if (code) + { + *dest++ = code; + text += 2; + break; + } + #else + ccp str = 0; + switch (text[1]) + { + case '\xab': // « + str = "»"; + break; + + case '\xbb': // » + str = "«"; + break; + } + + if (str) + { + strcpy(dest,str); + dest += strlen(str); + text += 2; + break; + } + #endif + } + *dest++ = *text++; + break; + case '@': case '$': if (!is_makedoc) |
