| OLD | NEW |
| (Empty) |
| 1 <!-- Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
| 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. --> | |
| 4 | |
| 5 <!DOCTYPE html> | |
| 6 <html> | |
| 7 <head> | |
| 8 <title>Frog Pond</title> | |
| 9 <link rel="stylesheet" type="text/css" | |
| 10 href="codemirror/lib/codemirror.css"/> | |
| 11 <link rel="stylesheet" type="text/css" href="pond.css"/> | |
| 12 <script type="text/javascript" src="editors_module.js"></script> | |
| 13 <script type="text/javascript" src="pond.dart.js"></script> | |
| 14 </head> | |
| 15 <body> | |
| 16 <div class="main vbox"> | |
| 17 <div class="main hbox"> | |
| 18 <div class="left-pane vbox"> | |
| 19 <ul class="tabs hbox"> | |
| 20 <li id="tab-dart" class="tab tab-selected"> Dart | |
| 21 <li id="tab-html" class="tab"> Html | |
| 22 </ul> | |
| 23 <div id="dartEditor" class='editor'></div> | |
| 24 <div id="htmlEditor" class='editor hidden'></div> | |
| 25 </div> | |
| 26 | |
| 27 <div class="right-pane vbox"> | |
| 28 <ul class="tabs hbox"> | |
| 29 <li id="tab-warnings" class="tab"> Errors | |
| 30 <li id="tab-console" class="tab"> Console | |
| 31 <li id="tab-web" class="tab tab-selected"> Web | |
| 32 <li id="tab-js" class="tab"> JS | |
| 33 </ul> | |
| 34 <div id="warningEditor" class="output hidden"></div> | |
| 35 <div id="console" class="output hidden console"></div> | |
| 36 <div id="results" class="output"> | |
| 37 <iframe id="resultFrame"></iframe> | |
| 38 </div> | |
| 39 <div id="jsEditor" class="output hidden"></div> | |
| 40 </div> | |
| 41 </div> | |
| 42 | |
| 43 <div> | |
| 44 <input type="button" value="run" id="runButton"> | |
| 45 <input type="button" value="clear output" id="clearButton"> | |
| 46 <input type="button" value="test" id="testButton" style="display:none"> | |
| 47 <input type="checkbox" id="warningCheckbox"> | |
| 48 <label>treat warnings as errors</label> | |
| 49 </div> | |
| 50 </div> | |
| 51 </body> | |
| 52 </html> | |
| OLD | NEW |