Skip to content

Add a minimal custom editor#16

Merged
paul90 merged 6 commits intomasterfrom
editor
May 6, 2026
Merged

Add a minimal custom editor#16
paul90 merged 6 commits intomasterfrom
editor

Conversation

@paul90
Copy link
Copy Markdown
Member

@paul90 paul90 commented Apr 12, 2026

Adds a custom editor that adds a language input field. This will be used for highlighting.

@WardCunningham
Copy link
Copy Markdown
Member

This is so much better than I was thinking I would do to set that field with Mech,
(There is something fishy with detecting loss of focus as we noticed together.)

@WardCunningham
Copy link
Copy Markdown
Member

Tip: that focus out commit looked real complex until I added ?w=1 to the diff url to ignore white space changes.

@paul90 paul90 merged commit 4ee4999 into master May 6, 2026
1 check passed
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.

2 participants