| 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 108 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 119 | 119 |
| 120 var inputWrapper = new DivElement() | 120 var inputWrapper = new DivElement() |
| 121 ..append(mainEditorPane) | 121 ..append(mainEditorPane) |
| 122 ..classes.add('well') | 122 ..classes.add('well') |
| 123 ..style.padding = '0px' | 123 ..style.padding = '0px' |
| 124 ..style.overflowX = 'hidden' | 124 ..style.overflowX = 'hidden' |
| 125 ..style.overflowY = 'scroll' | 125 ..style.overflowY = 'scroll' |
| 126 ..style.position = 'relative' | 126 ..style.position = 'relative' |
| 127 ..style.maxHeight = '80vh'; | 127 ..style.maxHeight = '80vh'; |
| 128 | 128 |
| 129 var inputHeader = new DivElement()..appendText('Code'); | 129 var inputHeader = new AnchorElement() |
| 130 ..id = 'share-link' |
| 131 ..appendText('Code'); |
| 130 | 132 |
| 131 inputHeader.style | 133 inputHeader.style |
| 132 ..right = '3px' | 134 ..right = '3px' |
| 133 ..top = '0px' | 135 ..top = '0px' |
| 134 ..position = 'absolute'; | 136 ..position = 'absolute'; |
| 135 inputWrapper.append(inputHeader); | 137 inputWrapper.append(inputHeader); |
| 136 | 138 |
| 137 statusDiv = new DivElement(); | 139 statusDiv = new DivElement(); |
| 138 statusDiv.style | 140 statusDiv.style |
| 139 ..left = '0px' | 141 ..left = '0px' |
| (...skipping 346 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 486 window.localStorage['compilationPaused'] = '$compilationPaused'; | 488 window.localStorage['compilationPaused'] = '$compilationPaused'; |
| 487 window.localStorage['codeFont'] = '$codeFont'; | 489 window.localStorage['codeFont'] = '$codeFont'; |
| 488 | 490 |
| 489 dialog.style.height = '0px'; | 491 dialog.style.height = '0px'; |
| 490 } | 492 } |
| 491 form.onSubmit.listen(onSubmit); | 493 form.onSubmit.listen(onSubmit); |
| 492 | 494 |
| 493 var doneButton = document.getElementById('settings-done'); | 495 var doneButton = document.getElementById('settings-done'); |
| 494 doneButton.onClick.listen(onSubmit); | 496 doneButton.onClick.listen(onSubmit); |
| 495 } | 497 } |
| OLD | NEW |