search

Code-Society-Lab / cursif-web

React client for Cursif
2 stars 5 forks source link

Command Palette #32

Open PenguinBoi12 opened 8 months ago

PenguinBoi12 commented 8 months ago

It would be nice to add a command palette, specially for the editor, to quickly do actions