| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library trydart.ui; | 5 library trydart.ui; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 | 8 |
| 9 import 'dart:async' show | 9 import 'dart:async' show |
| 10 Future, | 10 Future, |
| (...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 170 var save = new AnchorElement(href: blobUrl); | 170 var save = new AnchorElement(href: blobUrl); |
| 171 save.target = '_blank'; | 171 save.target = '_blank'; |
| 172 save.download = 'untitled.dart'; | 172 save.download = 'untitled.dart'; |
| 173 save.dispatchEvent(new Event.eventType('Event', 'click')); | 173 save.dispatchEvent(new Event.eventType('Event', 'click')); |
| 174 }) | 174 }) |
| 175 ..style.position = 'absolute' | 175 ..style.position = 'absolute' |
| 176 ..style.right = '0px' | 176 ..style.right = '0px' |
| 177 ..appendText('Save'); | 177 ..appendText('Save'); |
| 178 | 178 |
| 179 cacheStatusElement = document.getElementById('appcache-status'); | 179 cacheStatusElement = document.getElementById('appcache-status'); |
| 180 updateCacheStatus(); | 180 updateCacheStatus(null); |
| 181 | 181 |
| 182 var section = document.querySelector('article[class="homepage"]>section'); | 182 var section = document.querySelector('article[class="homepage"]>section'); |
| 183 | 183 |
| 184 DivElement tryColumn = document.getElementById('try-dart-column'); | 184 DivElement tryColumn = document.getElementById('try-dart-column'); |
| 185 DivElement runColumn = document.getElementById('run-dart-column'); | 185 DivElement runColumn = document.getElementById('run-dart-column'); |
| 186 | 186 |
| 187 tryColumn.append(inputWrapper); | 187 tryColumn.append(inputWrapper); |
| 188 outputFrame.style.display = 'none'; | 188 outputFrame.style.display = 'none'; |
| 189 runColumn.append(outputFrame); | 189 runColumn.append(outputFrame); |
| 190 runColumn.append(outputWrapper); | 190 runColumn.append(outputWrapper); |
| (...skipping 291 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 482 window.localStorage['compilationPaused'] = '$compilationPaused'; | 482 window.localStorage['compilationPaused'] = '$compilationPaused'; |
| 483 window.localStorage['codeFont'] = '$codeFont'; | 483 window.localStorage['codeFont'] = '$codeFont'; |
| 484 | 484 |
| 485 dialog.style.height = '0px'; | 485 dialog.style.height = '0px'; |
| 486 } | 486 } |
| 487 form.onSubmit.listen(onSubmit); | 487 form.onSubmit.listen(onSubmit); |
| 488 | 488 |
| 489 var doneButton = document.getElementById('settings-done'); | 489 var doneButton = document.getElementById('settings-done'); |
| 490 doneButton.onClick.listen(onSubmit); | 490 doneButton.onClick.listen(onSubmit); |
| 491 } | 491 } |
| OLD | NEW |