servo

mirror of https://github.com/servo/servo synced 2026-05-13 10:27:03 +02:00

Files

bors-servo eeed5b6ec2 Auto merge of #11735 - mrmiywj:reload-page-shortcut, r=jdm

add reload keyboard shortcut

<!-- 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 #11686  (github issue number if applicable).

<!-- Either: -->
- [ ] There are tests for these changes OR
- [X] These changes do not require tests because this cannot be automated tested.

<!-- 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="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/11735)
<!-- Reviewable:end -->

2016-06-23 10:58:54 -05:00

docs

Move the DOM memory management blog post into the tree.

2015-10-29 17:25:00 +01:00

dom

Wrap executions of Rust code called from JS in catch_unwind. Propagate the interrupted panic to the origin of the JS execution via TLS before resuming. Fix #6462 .

2016-06-22 09:35:19 -04:00

parse

Replace HTMLScriptElement::mark_script_already_started by set_script_already_started

2016-06-03 01:31:52 +02:00

task_source

Derive Clone for DOMManipulationTaskSource, UserInteractionTaskSource.