search

PseudocodeEditor / editor

The codemirror 6 editor for CIE spec Pseudocode
https://editor.pseudonaja.app
21 stars 2 forks source link

Search Bar Integration #16

Closed hugomarfani closed 2 years ago

hugomarfani commented 2 years ago

Integrate the new search bar into find and replace.

This is on the new website.

Coding-Cactus commented 2 years ago

Merge with https://github.com/PseudocodeEditor/Codemirror-6-editor/issues/7