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

Add a preferences dialog #14

Open

joshmarinacci opened this issue Jun 15, 2014 · 0 comments

Labels

enhancement NewGUI

Owner

joshmarinacci commented Jun 15, 2014

The prefs should be persistent across runs of the app. It should include:

dark/light them for the GUI and editor
font size for the editor (font choice?)
verbose compiler output
sketchbook location

joshmarinacci added the enhancement label

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