mirror of
https://github.com/servo/servo.git
synced 2025-06-30 12:03:38 +01:00
ea24389b85
Load prefs.json from profile-dir if --profile-dir is specified at launch In response to #10098 Tries to load `prefs.json` from the profile-dir and merge them into the preferences if `--profile-dir` is specified at launch. The profile-dir preferences take precedence over the default preferences, but command line preferences still take precedence over everything. Also adds some tests for `prefs.rs`. These rely on the contents of `resources/prefs.json` (at least `test_get_set_reset_extend()` does), so they may need to be re-worked a bit. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10114) <!-- Reviewable:end --> |
||
|---|---|---|
| .. | ||
| cache.rs | ||
| Cargo.toml | ||
| debug_utils.rs | ||
| geometry.rs | ||
| ipc.rs | ||
| lib.rs | ||
| linked_list.rs | ||
| non_geckolib.rs | ||
| opts.rs | ||
| prefs.rs | ||
| print_tree.rs | ||
| resource_files.rs | ||
| str.rs | ||
| thread.rs | ||
| thread_state.rs | ||
| tid.rs | ||
| time.rs | ||
| vec.rs | ||
| workqueue.rs | ||
