Jonas Jenwald 0f0650f426 Generate the default_preferences.json file from AppOptions ...

Currently any editing of the preferences require updates in *three* separate files, which isn't a great developer experience to say the least.

This has annoyed me sufficiently to write this patch, which moves the definition of all preferences into `AppOptions` and adds a new `gulp` task to generate the `default_preferences.json` file for the builds where it's needed.

2019-02-14 20:40:34 +01:00

..

chromium

[Chrome extension] Add missing "type" entry for the viewOnLoad preference in the preferences_schema.json file (PR 10502 follow-up)

2019-02-11 10:56:43 +01:00

firefox

Generate the default_preferences.json file from AppOptions

2019-02-14 20:40:34 +01:00

.eslintrc

Provide custom messages for the no-restricted-globals ESLint rule, and refactor the .eslintrc files (PR 9868 follow-up)

2018-07-23 14:10:13 +02:00