Michael Howell 44ae212669 servo: Merge #6637 - Don't crash when Firefox doesn't send autoMargins (from notriddle:master); r=jdm ...

Firefox Developer Tools doesn't always send autoMargins, as seen in this message:

    {"type":"getLayout","node":"node14","to":"pageStyle9"}

So don't use unwrap.

Source-Repo: https://github.com/servo/servo
Source-Revision: 10f3a89313464c98f11ff64fed741abcba6352a6

2015-07-15 15:36:25 -06:00

..

console.rs

servo: Merge #6540 - Make devtools usable once more (from jdm:devtoolsfix); r=glennw

2015-07-07 09:43:36 -06:00

framerate.rs

servo: Merge #5753 - Start using on_refresh_driver_tick #5681 (from JIoJIaJIu:timeline); r=jdm

2015-05-06 00:50:13 -05:00

inspector.rs

servo: Merge #6637 - Don't crash when Firefox doesn't send autoMargins (from notriddle:master); r=jdm

2015-07-15 15:36:25 -06:00

memory.rs

servo: Merge #5636 - Firefox timeline integration #4957 (from JIoJIaJIu:timeline); r=jdm

2015-04-13 12:44:49 -05:00

network_event.rs

servo: Merge #6230 - Remove get_ prefix on getters (from frewsxcv:getters-get); r=nox

2015-06-02 08:17:03 -05:00

root.rs

servo: Merge #6174 - Reduce max line length from 150 to 120 characters (from frewsxcv:cleanup-long-lines); r=SimonSapin

2015-05-24 18:27:26 -05:00

tab.rs

servo: Merge #6044 - Various cleanup (from Ms2ger:cleanup); r=jdm

2015-05-14 07:16:42 -05:00

timeline.rs

servo: Merge #6230 - Remove get_ prefix on getters (from frewsxcv:getters-get); r=nox

2015-06-02 08:17:03 -05:00

worker.rs

servo: Merge #5636 - Firefox timeline integration #4957 (from JIoJIaJIu:timeline); r=jdm

2015-04-13 12:44:49 -05:00