annotate index.html @ 377:93c28eee141e default tip

Merge
author Michael Pavone <pavone@retrodev.com>
date Sat, 15 Aug 2015 22:45:33 -0700
parents 2b25d0ce2946
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1 <!DOCTYPE html>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2 <html>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 <head>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 <title>Awesome!</title>
17
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
5 <script src="/mquery.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
6 <script src="/peg.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
7 <script src="/mquery.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
8 <script src="/parser.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
9 <script src="/compiler.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
10 <script src="/jsbackend.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
11 <script src="/editor.js"></script>
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
12 <script src="/scripttags.js"></script>
30
608eb70fe261 Fix some compiler bugs and do initial work on module import
Mike Pavone <pavone@retrodev.com>
parents: 23
diff changeset
13 <script src="/src/editor.tp" type="text/tabletprog"></script>
17
7400bb42e0c9 Add direct file edit link support
Mike Pavone <pavone@retrodev.com>
parents: 14
diff changeset
14 <link rel="stylesheet" href="/editor.css">
127
2b25d0ce2946 Add fullscreen support and improve experience on tablet browsers by tweaking button text size and disabling zooming.
Mike Pavone <pavone@retrodev.com>
parents: 111
diff changeset
15 <meta content='width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0' name='viewport'>
2b25d0ce2946 Add fullscreen support and improve experience on tablet browsers by tweaking button text size and disabling zooming.
Mike Pavone <pavone@retrodev.com>
parents: 111
diff changeset
16
0
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
17 </head>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
18 <body>
12
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
19 <div id="browser">
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
20 <ul>
0
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
21 </ul>
127
2b25d0ce2946 Add fullscreen support and improve experience on tablet browsers by tweaking button text size and disabling zooming.
Mike Pavone <pavone@retrodev.com>
parents: 111
diff changeset
22 <input type="button" value="Go Fullscreen" id="fullscreen">
12
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
23 </div>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
24 <div id="editor">
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
25 <div class="controls">
23
068d63627b16 Populate in scope symbol buttons when clicking on a symbol in the source
Mike Pavone <pavone@retrodev.com>
parents: 17
diff changeset
26 <ul id="inscope"></ul>
105
35006a6e1c47 Fixed more editor coderot and improved syntax/selection coloring a bit.
Mike Pavone <pavone@retrodev.com>
parents: 30
diff changeset
27 </div><div id="src"></div><div class="controls showops">
12
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
28 <ul id="operators">
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
29 <li>&lt;</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
30 <li>&gt;</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
31 <li>+</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
32 <li>-</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
33 <li>*</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
34 <li>/</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
35 <li>&&</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
36 <li>||</li>
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
37 </ul>
111
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
38 <ul id="literals">
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
39 <li>object</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
40 <li>list</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
41 <li>array</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
42 <li>string</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
43 <li>number</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
44 <li>new symbol</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
45 </ul>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
46 <ul>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
47 <li id="ops_button">operators</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
48 <li id="lit_button">literals</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
49 </ul>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
50 <ul id="nav">
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
51 <li id="out">outwards</li><li id="in">inwards</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
52 <li id="prev">previous</li><li id="next">next</li>
b2a3f202d485 Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
Mike Pavone <pavone@retrodev.com>
parents: 105
diff changeset
53 </ul>
12
6e4851a204a5 Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents: 11
diff changeset
54 </div>
0
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
55 </div>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
56 </body>
3d1b8e96f5dc Initial commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
57 </html>