This might be a bad idea, especially on the webidl side. However, we started talking about the idea that modelines are a lint error (https://github.com/servo/servo/issues/10719), and these changes would be required before enabling a modeline lint. If it bitrots, it's easy to recreate with ``` find * -type f -exec sed '/- Mode:/d' -i {} + find * -type f -exec sed '/ vim:/d' -i {} + git checkout -- python/tidy/servo_tidy/tidy.py git checkout -- python/tidy/servo_tidy_tests/spec.webidl git commit -a ``` Source-Repo: https://github.com/servo/servo Source-Revision: dff217c2e3ff0b77eeebf62d36c2bf57c044cf14
40 lines
1.5 KiB
Plaintext
40 lines
1.5 KiB
Plaintext
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
// https://html.spec.whatwg.org/multipage/#htmlimageelement
|
|
[NamedConstructor=Image(optional unsigned long width, optional unsigned long height)]
|
|
interface HTMLImageElement : HTMLElement {
|
|
attribute DOMString alt;
|
|
attribute DOMString src;
|
|
// attribute DOMString srcset;
|
|
attribute DOMString crossOrigin;
|
|
attribute DOMString useMap;
|
|
attribute boolean isMap;
|
|
attribute unsigned long width;
|
|
attribute unsigned long height;
|
|
readonly attribute unsigned long naturalWidth;
|
|
readonly attribute unsigned long naturalHeight;
|
|
readonly attribute boolean complete;
|
|
readonly attribute DOMString currentSrc;
|
|
// also has obsolete members
|
|
};
|
|
|
|
// https://html.spec.whatwg.org/multipage/#HTMLImageElement-partial
|
|
partial interface HTMLImageElement {
|
|
attribute DOMString name;
|
|
// attribute DOMString lowsrc;
|
|
attribute DOMString align;
|
|
attribute unsigned long hspace;
|
|
attribute unsigned long vspace;
|
|
attribute DOMString longDesc;
|
|
|
|
[TreatNullAs=EmptyString] attribute DOMString border;
|
|
};
|
|
|
|
// https://drafts.csswg.org/cssom-view/#extensions-to-the-htmlimageelement-interface
|
|
partial interface HTMLImageElement {
|
|
// readonly attribute long x;
|
|
// readonly attribute long y;
|
|
};
|