From a5b54def51b40868510130b78800881bf43be4a5 Mon Sep 17 00:00:00 2001 From: OneWay Date: Mon, 21 Sep 2026 16:35:08 +0800 Subject: [PATCH] fix(dsl): keep single spaces after opening tags Dictionaries use a space right after an opening tag as a visible separator, and dropping it glued words together. Drop only space runs at the start of a block and collapse runs to one space everywhere else; spaces after opening tags are now kept. --- .../com/example/research/ui/article/DslAnnotatedParser.kt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/app/src/main/java/com/example/research/ui/article/DslAnnotatedParser.kt b/app/src/main/java/com/example/research/ui/article/DslAnnotatedParser.kt index af7d0ca..76fc5c3 100644 --- a/app/src/main/java/com/example/research/ui/article/DslAnnotatedParser.kt +++ b/app/src/main/java/com/example/research/ui/article/DslAnnotatedParser.kt @@ -124,7 +124,10 @@ object DslAnnotatedParser { mClosedPendingBreak = false } - fun appendChar(char: Char) { + fun appendChar(char: Char, hard: Boolean = false) { + if (char == ' ' && !hard) { + if (lastAppended == null || lastAppended == ' ') return + } lastAppended = char if (mClosedPendingBreak) { mClosedPendingBreak = false