This repository has been archived by the owner on Sep 17, 2020. It is now read-only.

future feature: settings menu #65

Closed

no-stack-dub-sack opened this issue Feb 26, 2018 · 0 comments

Labels

Owner

no-stack-dub-sack commented Feb 26, 2018

settings menu could include theme choices as well as a text area for defining linter rules (similar to JS bin)

no-stack-dub-sack added the new feature label

no-stack-dub-sack changed the title ~~future feature: settings menu & key bindings modal~~ future feature: settings menu

no-stack-dub-sack mentioned this issue

add hamburger menu and keybindings modal #73

Closed

no-stack-dub-sack closed this as completed

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