mirror of
https://github.com/react/react-native-devtools-frontend.git
synced 2026-10-05 03:21:16 +08:00
Signed-off-by: Victor Porof <victorporof@chromium.org> Bug: 1325812 Change-Id: I044170880d20ce0402062755787cccafd63c6a42 Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/3695370 Reviewed-by: Mathias Bynens <mathias@chromium.org>
28 lines
645 B
Plaintext
28 lines
645 B
Plaintext
// GENERATED CONTENT - DO NOT EDIT
|
|
// Content was automatically extracted by Reffy into webref
|
|
// (https://github.com/w3c/webref)
|
|
// Source: CSS Custom Highlight API Module Level 1 (https://drafts.csswg.org/css-highlight-api-1/)
|
|
|
|
enum HighlightType {
|
|
"highlight",
|
|
"spelling-error",
|
|
"grammar-error"
|
|
};
|
|
|
|
[Exposed=Window]
|
|
interface Highlight {
|
|
constructor(AbstractRange... initialRanges);
|
|
setlike<AbstractRange>;
|
|
attribute long priority;
|
|
attribute HighlightType type;
|
|
};
|
|
|
|
partial namespace CSS {
|
|
readonly attribute HighlightRegistry highlights;
|
|
};
|
|
|
|
[Exposed=Window]
|
|
interface HighlightRegistry {
|
|
maplike<DOMString, Highlight>;
|
|
};
|