mirror of
https://github.com/servo/servo
synced 2026-05-05 06:32:13 +02:00
Similar to about:config from firefox. All preferences are editable; editing them mid-runtime is not guaranteed to cause any effects. This is separate from servo:preferences, which selectively groups and exposes preferences. This probably would become more useful if/when preferences become persistent. <img width="1136" height="880" alt="Screenshot 2025-10-31 at 10 19 57 PM" src="https://github.com/user-attachments/assets/2ef759d8-06a4-457f-b9df-331cc3525338" /> Followup work: - Remove `getStringPreference`, `getIntPreference`, and `getBoolPreference`. Using `getPreference` and `preferenceType` is more flexible. - Make more of these config options work on the fly. - Allow for reverting config options. --------- Signed-off-by: Ashwin Naren <arihant2math@gmail.com>