diff options
| author | bors-servo <release+servo@mozilla.com> | 2013-12-20 07:28:07 -0800 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2013-12-20 07:28:07 -0800 |
| commit | 34746fe974e8a4f253db8e5e3ff5ee52e0465d3f (patch) | |
| tree | 4c6873c1794ec81c334134b2767f679b75e2fd42 /src/components/script/script_task.rs | |
| parent | 824c7ac613ebb80bb432ff6425c5e25c642b6afb (diff) | |
| parent | ce434dfb3ede57107b52bc60998095d434565117 (diff) | |
| download | servo-34746fe974e8a4f253db8e5e3ff5ee52e0465d3f.tar.gz servo-34746fe974e8a4f253db8e5e3ff5ee52e0465d3f.zip | |
auto merge of #1431 : brunoabinader/servo/document-body, r=jdm
Implement Document's 'body' attribute (getter and setter). Proper
implementation of setter requires Node::ReplaceChild(), which is
currently a stub and will be done on a later step.
This patch is for:
https://github.com/mozilla/servo/issues/1428
Diffstat (limited to 'src/components/script/script_task.rs')
0 files changed, 0 insertions, 0 deletions