File: highlight-priority-painting.html

package info (click to toggle)
firefox 145.0.1-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 4,653,528 kB
  • sloc: cpp: 7,594,999; javascript: 6,459,658; ansic: 3,752,909; python: 1,403,455; xml: 629,809; asm: 438,679; java: 186,421; sh: 67,287; makefile: 19,169; objc: 13,086; perl: 12,982; yacc: 4,583; cs: 3,846; pascal: 3,448; lex: 1,720; ruby: 1,003; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (65 lines) | stat: -rw-r--r-- 2,326 bytes parent folder | download | duplicates (14)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
<!DOCTYPE html>
<html>
<head>
    <title>Highlight priority attribute painting correctness</title>
    <link rel="help" href="https://drafts.csswg.org/css-highlight-api-1/#priorities">
    <link rel="match" href="highlight-priority-painting-ref.html">
    <style>
    ::highlight(yellow-highlight) {
        background-color: yellow;
    }
    ::highlight(green-highlight) {
        background-color: green;
    }
    ::highlight(blue-highlight) {
        background-color: blue;
    }
    </style>
</head>
<body>
    <span id="green-highlight">Green</span>
    <span id="yellow-highlight">Yellow</span>
    <span id="blue-highlight">Blue</span>
    <span id="yellow-blue-highlight">Yellow-Blue</span>

    <script>
        let yellowBlue = document.getElementById("yellow-blue-highlight");
        let green = document.getElementById("green-highlight");
        let highlightGreen = new Highlight(new StaticRange({
            startContainer: green.childNodes[0],
            startOffset: 0,
            endContainer: green.childNodes[0],
            endOffset: 5
        }));
        let yellow = document.getElementById("yellow-highlight");
        let highlightYellow = new Highlight(new StaticRange({
            startContainer: yellow.childNodes[0],
            startOffset: 0,
            endContainer: yellow.childNodes[0],
            endOffset: 6
        }), new StaticRange({
            startContainer: yellowBlue.childNodes[0],
            startOffset: 0,
            endContainer: yellowBlue.childNodes[0],
            endOffset: 6
        }));
        let blue = document.getElementById("blue-highlight");
        let highlightBlue = new Highlight(new StaticRange({
            startContainer: blue.childNodes[0],
            startOffset: 0,
            endContainer: blue.childNodes[0],
            endOffset: 4
        }), new StaticRange({
            startContainer: yellowBlue.childNodes[0],
            startOffset: 0,
            endContainer: yellowBlue.childNodes[0],
            endOffset: 11
        }));
        CSS.highlights.set("yellow-highlight", highlightYellow);
        CSS.highlights.set("green-highlight", highlightGreen);
        CSS.highlights.set("blue-highlight", highlightBlue);
        highlightYellow.priority = 10;
        highlightBlue.priority = -1;
    </script>
</body>
</html>