| 1 | <html>
|
|---|
| 2 | <head>
|
|---|
| 3 | <link rel="stylesheet" type="text/css" href="../css/style.css">
|
|---|
| 4 | <script src="../js/filesaver/FileSaver.min.js"></script>
|
|---|
| 5 | <script src="../lib/jquery/external/jquery/jquery.js"></script>
|
|---|
| 6 | <script src="../lib/jquery/jquery-ui.js"></script>
|
|---|
| 7 | <script src="../js/diff_match_patch/diff_match_patch.js"></script>
|
|---|
| 8 | <script src="../js/predictionScript.js"></script>
|
|---|
| 9 | <title>Text Editor</title>
|
|---|
| 10 | </head>
|
|---|
| 11 | <body>
|
|---|
| 12 | <div id="divHeader">
|
|---|
| 13 | <img src="img/header.png"/>
|
|---|
| 14 | </div>
|
|---|
| 15 |
|
|---|
| 16 | <div id="divSidebar">
|
|---|
| 17 |
|
|---|
| 18 | <div id="divEditorControls">
|
|---|
| 19 | <div id="divRecordingCircle" class="circle waiting controls"></div> <br/>
|
|---|
| 20 | <button id="btnDemonstrate" class="controls">Demonstrate</button><br/>
|
|---|
| 21 | <button id="btnClear" class="controls">Clear Trace</button><br/>
|
|---|
| 22 | <button id="btnDoSomething" class="controls">Execute Hypothesis</button><br/>
|
|---|
| 23 | <button id="btnUndo" class="controls" disabled="true">Undo Last Execution</button><br/>
|
|---|
| 24 | <div class="controls"><input type="checkbox" name="cbLazy" id="cbLazy"/> <label class="smallLabel" for="cbLazy">Use lazy quantifiers</label><br/></div>
|
|---|
| 25 | <hr class="controls">
|
|---|
| 26 | <input type="file" id="fileSelector" name = "files[]" class="controls"/><br/>
|
|---|
| 27 | <button id="btnExecuteFile" class="controls">Execute Hypothesis on File</button><br/>
|
|---|
| 28 | </div>
|
|---|
| 29 |
|
|---|
| 30 | <div id="divOutput">
|
|---|
| 31 | </div>
|
|---|
| 32 |
|
|---|
| 33 | </div>
|
|---|
| 34 |
|
|---|
| 35 | <div id="divEditor">
|
|---|
| 36 |
|
|---|
| 37 | <textarea id="textMain">1334141(pbk);983038(hbk);12312677(pbk)
|
|---|
| 38 | 49502800(record);832923748;232409322
|
|---|
| 39 | 781093(record);7192003;1234556(hbk)
|
|---|
| 40 | 49502800(pbk);832923748;2324093224
|
|---|
| 41 | 58174093(hardback);719242203;111116(hbk)</textarea>
|
|---|
| 42 | </div>
|
|---|
| 43 | <br/>
|
|---|
| 44 | <div id="divTest" style="display:none">
|
|---|
| 45 | <textarea id="textTest1">37 Donny Ave</textarea>
|
|---|
| 46 | <br/>
|
|---|
| 47 | <textarea id="textTest2">143 Chelsea Place</textarea>
|
|---|
| 48 | <br/>
|
|---|
| 49 | <textarea id="textTest3">14 River Road</textarea>
|
|---|
| 50 | <br/>
|
|---|
| 51 | <button id="btnTest">Generalise String</button>
|
|---|
| 52 | </div>
|
|---|
| 53 | <br>
|
|---|
| 54 | </body>
|
|---|
| 55 | </html>
|
|---|
