Can we have all the customization options in json format so that it's easy to modify from outside and also have it in gui in the app like in vs code or the new microsoft edge?
We can then have a nice theme store with user customizable options which are easily changeable on any text editor. Customization like where the tabs should display, horizontal or vertical, top or bottom etc.