This repository has been archived by the owner on Jun 11, 2024. It is now read-only.

add settings for editor #11

Open

crazylafo opened this issue Jan 22, 2020 · 0 comments

Owner

crazylafo commented Jan 22, 2020

-font size setting
-add a search/replace button to open the search panel from Ace.js

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.