Index: sky/examples/raw/paint_element_into_displaylist.sky |
diff --git a/sky/examples/raw/paint_element_into_displaylist.sky b/sky/examples/raw/paint_element_into_displaylist.sky |
deleted file mode 100644 |
index 31a1962d5370c5a759b2ec869d83e37e78491b62..0000000000000000000000000000000000000000 |
--- a/sky/examples/raw/paint_element_into_displaylist.sky |
+++ /dev/null |
@@ -1,24 +0,0 @@ |
-<script> |
-import "dart:sky"; |
- |
-void main() { |
- var root = document.createElement('div'); |
- root.style['display'] = 'paragraph'; |
- root.appendChild(new Text('Hello World')); |
- document.appendChild(root); |
- root.offsetWidth; // force layout. |
- |
- double width = window.innerWidth.toDouble(); |
- double height = window.innerHeight.toDouble(); |
- PictureRecorder recorder = new PictureRecorder(width, height); |
- Paint paint = new Paint()..color = const Color.fromARGB(255, 0, 255, 0); |
- recorder.drawCircle(50.0, 50.0, 50.0, paint); |
- recorder.translate(10.0, 10.0); |
- root.paint(recorder); |
- recorder.translate(10.0, 10.0); |
- root.paint(recorder); |
- recorder.translate(10.0, 10.0); |
- root.paint(recorder); |
- document.rootPicture = recorder.endRecording(); |
-} |
-</script> |