OLD | NEW |
| (Empty) |
1 This test checks against a bug in the highlighter when pasting text inside a com
ment. | |
2 | |
3 | |
4 After highlighting all lines | |
5 1 : /* : javascript-comment[0-3] | |
6 2 : : | |
7 3 : 1 : javascript-comment[0-1] | |
8 4 : 2 : javascript-comment[0-1] | |
9 5 : 3 : javascript-comment[0-1] | |
10 6 : 4 : javascript-comment[0-1] | |
11 7 : 5 : javascript-comment[0-1] | |
12 8 : : | |
13 9 : */ : javascript-comment[0-2] | |
14 | |
15 After update highlights | |
16 1 : /* : javascript-comment[0-3] | |
17 2 : : | |
18 3 : 1 : javascript-comment[0-1] | |
19 4 : 2 : javascript-comment[0-1] | |
20 5 : 3 : javascript-comment[0-1] | |
21 6 : 4 : javascript-comment[0-1] | |
22 7 : 5 : javascript-comment[0-1] | |
23 8 : 1 : javascript-comment[0-1] | |
24 9 : 2 : javascript-comment[0-1] | |
25 10 : 3 : javascript-comment[0-1] | |
26 11 : 4 : javascript-comment[0-1] | |
27 12 : 5 : javascript-comment[0-1] | |
28 13 : : | |
29 14 : */ : javascript-comment[0-2] | |
30 | |
31 After highlighting up to the end | |
32 1 : /* : javascript-comment[0-3] | |
33 2 : : | |
34 3 : 1 : javascript-comment[0-1] | |
35 4 : 2 : javascript-comment[0-1] | |
36 5 : 3 : javascript-comment[0-1] | |
37 6 : 4 : javascript-comment[0-1] | |
38 7 : 5 : javascript-comment[0-1] | |
39 8 : 1 : javascript-comment[0-1] | |
40 9 : 2 : javascript-comment[0-1] | |
41 10 : 3 : javascript-comment[0-1] | |
42 11 : 4 : javascript-comment[0-1] | |
43 12 : 5 : javascript-comment[0-1] | |
44 13 : : | |
45 14 : */ : javascript-comment[0-2] | |
46 | |
47 After inserting a new line | |
48 1 : /* : javascript-comment[0-3] | |
49 2 : : | |
50 3 : 1 : javascript-comment[0-1] | |
51 4 : 2 : javascript-comment[0-1] | |
52 5 : 3 : javascript-comment[0-1] | |
53 6 : 4 : javascript-comment[0-1] | |
54 7 : 5 : javascript-comment[0-1] | |
55 8 : 1 : javascript-comment[0-1] | |
56 9 : 2 : javascript-comment[0-1] | |
57 10 : 3 : javascript-comment[0-1] | |
58 11 : 4 : javascript-comment[0-1] | |
59 12 : 5 : javascript-comment[0-1] | |
60 13 : : | |
61 14 : : | |
62 15 : */ : javascript-comment[0-2] | |
63 | |
OLD | NEW |