Hi,
I feel sometimes using this editor I need some way to tweak/modify/remove/see/etc, preferences via a visual interface. Find a keymap, toggling something, etc
I think is great these settings are mainly json files because these provide flexibility. While at the same time, keep main developer with focus on important things such core behaviour, and low level APIs for developers. ; )
The idea is… instead of build a complicated python interface with little or limited options ( dialogs, forms, etc ) why not build a HTML/JavaScript interface using the new HTML5 File system API
html5rocks.com/en/tutorials/ … ir-reading
Anyone with a chrome browser or Mozilla browser will probably be able to scan the package directory and make changes via a cross platform interface, probably in a single HTML file.
I would like to think most of us, know little bits of JavaScript… is likely to not be so difficult to write or recycle some code, with bumped options, some of my imagination:
- quickly find any setting/keymap etc
- a boolean toggling
- a colour picker
- key bindings detection and modification, alert of already used keys
There is room for imagination, a lot of room,
don’t know just an idea.
Here comes the summer, is likely that I will not be able to work on this.
If some day I found the time and motivation needed, may I start something.
Regards