Search extension behaviors #496 #2

Closed
rdesille wants to merge 3 commits from main into main
rdesille commented 2021-05-26 18:00:55 +02:00 (Migrated from github.com)

As discussed (#496), here a proposal of implementation.

As discussed ([#496](https://github.com/codemirror/codemirror.next/issues/496)), here a proposal of implementation.
marijnh commented 2021-05-27 10:43:43 +02:00 (Migrated from github.com)

I ended up implementing this slightly differently (setting the query state directly, rather than going through the DOM field) in 990908f0c9 and 1008d1a8b4.

I ended up implementing this slightly differently (setting the query state directly, rather than going through the DOM field) in 990908f0c995737 and 1008d1a8b4aebcd3.

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
codemirror/search!2
No description provided.