OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 | 2 |
3 <html> | 3 <html> |
4 <head> | 4 <head> |
5 <meta charset="utf-8"> | 5 <meta charset="utf-8"> |
6 <meta name="viewport" content="width=device-width, initial-scale=1"> | 6 <meta name="viewport" content="width=device-width, initial-scale=1"> |
7 | 7 |
8 » <style> | 8 <style> |
9 » div { | 9 div { |
10 background: #ffffff; | 10 background: #ffffff; |
11 text-align: center; | 11 text-align: center; |
12 width: 50%; | 12 width: 50%; |
13 margin: 10% 10% 25% 25%; | 13 margin: 10% 10% 25% 25%; |
14 } | 14 } |
15 » | 15 |
16 div#worked { | 16 div#worked { |
17 border: 5px solid green; | 17 border: 5px solid green; |
18 color: green; | 18 color: green; |
19 } | 19 } |
20 | 20 |
21 div#failed { | 21 div#failed { |
22 border: 5px solid red; | 22 border: 5px solid red; |
23 color: red; | 23 color: red; |
24 } | 24 } |
25 | 25 |
26 » .cached_file_done { | 26 .cached_file_done { |
27 font-family: arial; | 27 font-family: arial; |
28 font-size: 24pt; | 28 font-size: 24pt; |
29 } | 29 } |
30 | 30 |
31 .cached_file_name { | 31 .cached_file_name { |
32 color: gray; | 32 color: gray; |
33 font-size: 16pt; | 33 font-size: 16pt; |
34 vertical-align: text-bottom; | 34 vertical-align: text-bottom; |
35 } | 35 } |
36 » </style> | 36 </style> |
37 | 37 |
38 <script async type="application/dart" src="generate_cached_patches.dart"></s
cript> | 38 <script async type="application/dart" src="generate_cached_patches.dart"></s
cript> |
39 <script async src="packages/browser/dart.js"></script> | 39 <script async src="packages/browser/dart.js"></script> |
40 </head> | 40 </head> |
41 » <body> | 41 <body> |
42 <div id=worked> | 42 <div id=worked> |
43 <span class=cached_file_done>Close Dartium</span><br/><br/> | 43 <span class=cached_file_done>Close Dartium</span><br/><br/> |
44 <span class=cached_file_done>File: </span> | 44 <span class=cached_file_done>File: </span> |
45 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> | 45 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> |
46 <span class=cached_file_done>GENERATED</span> | 46 <span class=cached_file_done>GENERATED</span> |
47 </div> | 47 </div> |
48 <div id=failed style="display: none;"> | 48 <div id=failed style="display: none;"> |
49 <span class=cached_file_done>FAILED</span><br/><br/> | 49 <span class=cached_file_done>FAILED</span><br/><br/> |
50 <span class=cached_file_done>File: </span> | 50 <span class=cached_file_done>File: </span> |
51 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> | 51 <span class=cached_file_name>sdk/lib/js/dartium/cached_patches.dart</spa
n><br/><br/> |
52 <span class=cached_file_done>NOT GENERATED</span> | 52 <span class=cached_file_done>NOT GENERATED</span> |
53 </div> | 53 </div> |
54 </body> | 54 </body> |
55 </html> | 55 </html> |
56 | 56 |
OLD | NEW |