diff options
| author | Ms2ger <ms2ger@gmail.com> | 2014-04-04 21:30:33 +0200 |
|---|---|---|
| committer | Ms2ger <ms2ger@gmail.com> | 2014-04-04 21:30:33 +0200 |
| commit | fb09979502060cf92c798ceadbfd45917c41ca3f (patch) | |
| tree | f58d692b20fa7c73d8d2d19254e1269c45058dad /src/components/script/dom | |
| parent | 31eee791dd343807b6057c549bc74f41c4bf10a2 (diff) | |
| download | servo-fb09979502060cf92c798ceadbfd45917c41ca3f.tar.gz servo-fb09979502060cf92c798ceadbfd45917c41ca3f.zip | |
Address review comments.
Diffstat (limited to 'src/components/script/dom')
| -rw-r--r-- | src/components/script/dom/document.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/components/script/dom/document.rs b/src/components/script/dom/document.rs index 0de44abd566..b123b169d67 100644 --- a/src/components/script/dom/document.rs +++ b/src/components/script/dom/document.rs @@ -610,7 +610,8 @@ impl Document { // TODO: support the case if multiple elements // which haves same id are in the same document. - // This would use mangle(), but some dumbass removed it. + // FIXME https://github.com/mozilla/rust/issues/13195 + // Use mangle() when it exists again. match self.idmap.find_mut(&id) { Some(v) => { *v = element.clone(); |