| 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>
|
|
|