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 |