Skip to content

Fix extra space insertions when previous or next text segment already ends/starts with space#442

Merged
PrinsFrank merged 3 commits into
mainfrom
fix-extra-space-insertions-when-previous-or-next-text-segment-already-has-space
Jun 30, 2026
Merged

Fix extra space insertions when previous or next text segment already ends/starts with space#442
PrinsFrank merged 3 commits into
mainfrom
fix-extra-space-insertions-when-previous-or-next-text-segment-already-has-space

Conversation

@PrinsFrank

Copy link
Copy Markdown
Owner

No description provided.

@PrinsFrank PrinsFrank merged commit 0282a3d into main Jun 30, 2026
21 checks passed
@PrinsFrank PrinsFrank deleted the fix-extra-space-insertions-when-previous-or-next-text-segment-already-has-space branch June 30, 2026 22:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant