search

PseudocodeEditor / editor

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

Update Find and Replace UI #7

Open hugomarfani opened 2 years ago

hugomarfani commented 2 years ago

Update the UI surrounding the find and replace for the editor to match the theme of the website