search

Almenon / AREPL-electron

python scratchpad with real-time code evaluation
MIT License
74 stars 6 forks source link

Make it easier for users to change settings #56

Open Almenon opened 6 years ago

Almenon commented 6 years ago

see https://github.com/sindresorhus/electron-store and https://github.com/nathanbuchar/electron-settings

Provide a GUI for users to be able to edit settings

Almenon commented 6 years ago

There's quicksettings which is really cool but it lacks a key feature: inline descriptions for the settings. You can add a info panel but that's just not quite the same.

I raised an issue on their repo for inline descriptions.

In the meantime what I could do is simply use a simple codemirror instance to let users edit the settings.js file. The only catch would be I would have to validate that they didn't screw up the JSON, but that should be pretty simple to check.