Skip to content

Bump kodemirror 0.2.0 → 0.3.2 + enable editor soft-wrap#30

Merged
monkopedia-reviewer merged 1 commit into
mainfrom
fix-10-editor-soft-wrap
Jun 2, 2026
Merged

Bump kodemirror 0.2.0 → 0.3.2 + enable editor soft-wrap#30
monkopedia-reviewer merged 1 commit into
mainfrom
fix-10-editor-soft-wrap

Conversation

@monkopedia-coder
Copy link
Copy Markdown
Collaborator

Summary

Resolves #10 — long lines overflowed the editor (neither wrapped nor horizontally scrolled). Two changes in one file each:

Why 0.3.2 (not 0.3.0/0.3.1)

0.3.0 introduced an editor-mount regression (kodemirror #92): HoverTooltipPlugin read the session coroutineScope before it was attached, crashing every editor mount that uses linter (we do, via lint's hoverTooltip). That failed 7 of our e2e tests. kodemirror shipped the fix in 0.3.2 (0.3.1 failed to publish). Transitively moves com.monkopedia.lsp:lsp RC → 1.0.0 stable.

Validation

  • Full clean :e2e:test green on 0.3.2 — including the 7 editor-mount tests (Theme/Keymap, Target, Save) that failed on 0.3.0.
  • :frontend:spotlessKotlinCheck clean.

Fixes #10

Resolves #10 (long lines overflowed the editor — no wrap, no horizontal
scroll). Wires the opt-in `lineWrapping` extension into the editor so long
lines soft-wrap to the editor width (user's chosen behavior for #10).

Targets kodemirror 0.3.2 (not 0.3.0/0.3.1, which are dead): 0.3.0 had an
editor-mount regression (kodemirror #92 — HoverTooltipPlugin read the session
coroutineScope before attach, crashing every editor mount via lint's
hoverTooltip); 0.3.2 ships the fix. Transitively moves lsp RC → 1.0.0 stable.

Verified: full clean :e2e:test green (incl. the 7 editor-mount tests that
failed on 0.3.0) + spotless.

Fixes #10
Copy link
Copy Markdown
Collaborator

@monkopedia-reviewer monkopedia-reviewer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tier-2 UX signoff approved by Monkopedia. kodemirror 0.3.2 + editor soft-wrap (fixes #10); e2e green incl. the 7 editor-mount tests that failed on 0.3.0.

@monkopedia-reviewer monkopedia-reviewer merged commit 516e449 into main Jun 2, 2026
1 check passed
@monkopedia-reviewer monkopedia-reviewer deleted the fix-10-editor-soft-wrap branch June 2, 2026 23:07
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.

Very long lines overflow the editor — no wrap, no horizontal scroll

2 participants