| OLD | NEW |
| 1 <script> | 1 <script> |
| 2 import "dart:sky"; | 2 import "dart:sky"; |
| 3 | 3 |
| 4 void main() { | 4 void main() { |
| 5 var root = document.createElement('div'); | 5 var root = document.createElement('div'); |
| 6 root.style['display'] = 'paragraph'; | 6 root.style['display'] = 'paragraph'; |
| 7 root.appendChild(new Text('Hello World')); | 7 root.appendChild(new Text('Hello World')); |
| 8 document.appendChild(root); | 8 document.appendChild(root); |
| 9 root.offsetWidth; // force layout. | 9 root.offsetWidth; // force layout. |
| 10 | 10 |
| 11 double width = window.innerWidth.toDouble(); | 11 double width = window.innerWidth.toDouble(); |
| 12 double height = window.innerHeight.toDouble(); | 12 double height = window.innerHeight.toDouble(); |
| 13 PictureRecorder stampRecorder = new PictureRecorder(width, height); |
| 14 root.paint(stampRecorder); |
| 15 Picture stamp = stampRecorder.endRecording(); |
| 16 |
| 13 PictureRecorder recorder = new PictureRecorder(width, height); | 17 PictureRecorder recorder = new PictureRecorder(width, height); |
| 14 Paint paint = new Paint()..setARGB(255, 0, 255, 0); | 18 Paint paint = new Paint()..setARGB(255, 0, 255, 0); |
| 15 recorder.drawCircle(50.0, 50.0, 50.0, paint); | 19 recorder.drawCircle(50.0, 50.0, 50.0, paint); |
| 16 recorder.translate(10.0, 10.0); | 20 recorder.translate(10.0, 10.0); |
| 17 root.paint(recorder); | 21 recorder.drawPicture(stamp); |
| 18 recorder.translate(10.0, 10.0); | 22 recorder.translate(10.0, 10.0); |
| 19 root.paint(recorder); | 23 recorder.drawPicture(stamp); |
| 20 recorder.translate(10.0, 10.0); | 24 recorder.translate(10.0, 10.0); |
| 21 root.paint(recorder); | 25 recorder.drawPicture(stamp); |
| 22 document.rootPicture = recorder.endRecording(); | 26 document.rootPicture = recorder.endRecording(); |
| 23 } | 27 } |
| 24 </script> | 28 </script> |
| OLD | NEW |