mirror of
https://github.com/servo/servo.git
synced 2025-06-24 00:54:32 +01:00
Address review comments.
This commit is contained in:
parent
31eee791dd
commit
fb09979502
9 changed files with 19 additions and 12 deletions
|
@ -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();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue