Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

make attr getters/setters case insensitive (#1962)

Browse source
This commit is contained in:
Manish Goregaokar 2014-03-23 05:52:05 +05:30
parent 2a5f82a764
commit 05e793f4fb
1 changed files with 16 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

21
src/components/script/dom/element.rs
View file

@ -210,10 +210,17 @@ pub trait BeforeRemoveAttrListener {
impl AttributeHandlers for JS<Element> {
fn get_attribute(&self, namespace: Namespace, name: &str) -> Option<JS<Attr>> {
self.get().attrs.iter().find(|attr| {
let attr = attr.get();
name == attr.local_name && attr.namespace == namespace
}).map(|x| x.clone())
if self.get().html_element_in_html_document() {
self.get().attrs.iter().find(|attr| {
let attr = attr.get();
name.to_ascii_lower() == attr.local_name && attr.namespace == namespace
}).map(|x| x.clone())
} else {
self.get().attrs.iter().find(|attr| {
let attr = attr.get();
name == attr.local_name && attr.namespace == namespace
}).map(|x| x.clone())
}
}
fn set_attr(&mut self, name: DOMString, value: DOMString) -> ErrorResult {
@ -239,7 +246,11 @@ impl AttributeHandlers for JS<Element> {
// FIXME: reduce the time of `value.clone()`.
let idx = self.get().attrs.iter().position(|attr| {
attr.get().local_name == local_name
if self.get().html_element_in_html_document() {
attr.get().local_name.eq_ignore_ascii_case(local_name)
} else {
attr.get().local_name == local_name
}
});
match idx {