servo/components
bors-servo 2913d65b75 Auto merge of #17726 - paulrouget:rm_WindowNavigateMsg, r=jdm
Remove WindowNavigateMsg

Two reasons:

- We want to be able to jump further in history from the embedder.
- We don't want to have an extra translation step in the compositor, where `WindowNavigateMsg` is translated to `TraversalDirection`

---
<!-- 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
- [ ] These changes fix #__ (github issue number if applicable).

<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because _____

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- 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/17726)
<!-- Reviewable:end -->
2017-07-14 07:16:18 -07:00
..
atoms Bump serde to 1.0 2017-06-16 13:31:18 +02:00
bluetooth Untry 2017-06-18 13:21:51 +02:00
bluetooth_traits Remove explicit dependencies on serde_derive 2017-06-16 13:58:21 +02:00
canvas Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
canvas_traits Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
compositing Remove WindowNavigateMsg 2017-07-14 08:56:38 +02:00
config Add option to write profiler output to InfluxDB 2017-07-03 10:13:46 +02:00
constellation Auto merge of #17709 - paulrouget:new_pipeline_before_add_pending_changes, r=cbrewster 2017-07-13 10:50:07 -07:00
debugger
deny_public_fields deny_public_fields: display field identifier in help message 2017-06-25 18:12:43 +01:00
devtools Untry 2017-06-18 13:21:51 +02:00
devtools_traits Remove explicit dependencies on serde_derive 2017-06-16 13:58:21 +02:00
dom_struct
domobject_derive
geometry Bump serde to 1.0 2017-06-16 13:31:18 +02:00
gfx Auto merge of #17706 - glennw:linux-fonts, r=stshine,emilio 2017-07-13 16:13:41 -07:00
gfx_traits Remove explicit dependencies on serde_derive 2017-06-16 13:58:21 +02:00
jstraceable_derive
layout Auto merge of #17701 - bholley:reuse_allocations, r=emilio 2017-07-14 11:01:07 +02:00
layout_thread Auto merge of #17701 - bholley:reuse_allocations, r=emilio 2017-07-14 11:01:07 +02:00
layout_traits Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
msg Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
net Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
net_traits Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
profile Add option to write profiler output to InfluxDB 2017-07-03 10:13:46 +02:00
profile_traits Passing ProfilerChan by reference to the send_profile_data method. 2017-06-25 14:29:44 +02:00
rand
range Remove explicit dependencies on serde_derive 2017-06-16 13:58:21 +02:00
remutex
script Auto merge of #17701 - bholley:reuse_allocations, r=emilio 2017-07-14 11:01:07 +02:00
script_layout_interface style: Kill some style sharing code. 2017-07-13 15:32:20 +02:00
script_plugins Upgrade to rustc 1.20.0-nightly (3bfc18a96 2017-06-29) 2017-06-30 23:22:38 +02:00
script_traits Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
selectors style: Remove SelectorAndHashes. 2017-07-13 05:44:55 +02:00
servo Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
servo_arc Auto merge of #17701 - bholley:reuse_allocations, r=emilio 2017-07-14 11:01:07 +02:00
size_of_test
style Auto merge of #17732 - emilio:font-size-as-ratio, r=nox 2017-07-14 05:01:48 -07:00
style_derive Introduce #[css(comma)] 2017-07-11 17:14:14 +02:00
style_traits Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
url Untry 2017-06-18 13:21:51 +02:00
webdriver_server Untry 2017-06-18 13:21:51 +02:00
webvr Upgrade to the latest version of WebRender 2017-07-13 07:44:08 +10:00
webvr_traits Remove explicit dependencies on serde_derive 2017-06-16 13:58:21 +02:00