If you run into troubles, got a suggestion, or issue, please e-mail firstname.lastname@example.org
Right click and then left click on "Editor customization". Or create a new file and name it "webide_js_overload.js" or "webide_css_overload.css".
When saved, you will be asked to save the content locally, meaning it will be stored in your browser local storage.
If the editor runs locally on your machine, or you want to customize for all users, edit client/settings_overload.js