-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
96 lines (81 loc) · 2.96 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
<!doctype html>
<html lang="en" ng-app="vislang">
<head>
<title>Visual Language</title>
<link rel="stylesheet" href="bootstrap/css/bootstrap.css">
<link rel="stylesheet" href="bootstrap/css/bootstrap-responsive.css">
<link rel="stylesheet" href="style.css">
<!-- Le HTML5 shim, for IE6-8 support of HTML5 elements -->
<!--[if lt IE 9]>
<script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<script src="library/angular.js"></script>
<script src="library/underscore.js"></script>
<script src="library/jquery-1.7.2.js"></script>
<script src="bootstrap/js/bootstrap.js"></script>
<script src="library/uuid.js"></script>
<script src="library/coffee-script.js"></script>
<script src="library/ace.js"></script>
<script src="library/mode-javascript.js"></script>
<script src="library/mode-coffee.js"></script>
<script src="library/mode-json.js"></script>
<script src="misc.js"></script>
<script src="vector2.js"></script>
<script src="stuff.js"></script>
<script src="language.js"></script>
<script src="graph.js"></script>
</head>
<body ng-controller="controller">
<nav class="navbar navbar-fixed-top">
<div class="navbar-inner">
<div class="container-fluid main" style="position:absolute; left:20px; right:300px;">
<a class="brand">VisLang</a>
<div class="btn-group">
<a class="btn dropdown-toggle" data-toggle="dropdown">
New
<span class="caret"></span>
</a>
<ul class="dropdown-menu">
<li ng-repeat="type in definition_types">
<a ng-click="create_definition(type)">{{type.name}}</a>
</li>
</ul>
</div>
</div>
<div class="container side" style="position:absolute; right:0; width:280px;">
<a class="brand">Library</a>
<form class="navbar-search">
<input type="search" ng-model="search" class="search-query span2" placeholder="Search">
</form>
</div>
</div>
</nav>
<div id="main" ng-controller="debugger">
<ng-view></ng-view>
</div>
<div id="tools" ng-controller="library" class="span4">
<table class="table-condensed">
<tr class="json" ng-show="search | is_valid_json">
<td class="name">JSON Literal
<td>
<td><a ng-click="use_value(search)">value</a>
</tr>
<tr class="string"><td class="name">String Literal
<td>
<td><a ng-click="use_string_literal(search)">value</a>
</tr>
<tr class="symbol" ng-show="search">
<td class="name">New Symbol
<td>
<td><a ng-click="new_symbol(search)">value</a>
</tr>
<tr ng-repeat="subroutine in get_subroutines() | filter:search_filter | orderBy:sort" class="{{subroutine | implementation_type}}">
<td class="name">
<a href="#/{{subroutine.id}}">{{subroutine | text_or_id}}</a>
<td><a ng-show="subroutine | isa:'Subroutine'" ng-click="use(subroutine)">call</a>
<td><a ng-click="use_value(subroutine)">value</a>
</tr>
</table>
</div>
</body>
</html>