mirror of
https://github.com/servo/servo.git
synced 2025-06-24 09:04:33 +01:00
Allow cli prefs to have numerical value I'm not sure as I'm new with servo but shouldn't the new function ```parse_opt_prefs``` be in ```prefs.rs``` instead of ```opts.rs``` ? <!-- Please describe your changes on the following line: --> --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes fix #14842 <!-- Either: --> - [X] There are tests for these changes OR <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14863) <!-- Reviewable:end --> |
||
---|---|---|
.. | ||
gfx | ||
layout | ||
net | ||
net_traits | ||
profile | ||
script | ||
servo_config | ||
servo_remutex | ||
style | ||
stylo |