forked from prg-titech/Kanon
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
127 lines (117 loc) · 4.29 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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<!doctype html>
<html>
<head>
<title>Kanon</title>
<link href="node_modules/vis/dist/vis.css" rel="stylesheet" type="text/css" />
<link href="node_modules/jquery-ui-dist/jquery-ui.css" rel="stylesheet" type="text/css" />
<link rel="stylesheet" href="external/prototype_window/themes/default.css" />
<link rel="stylesheet" href="external/prototype_window/themes/mac_os_x.css" />
<link rel="stylesheet" href="node_modules/split-pane/split-pane.css" />
<link rel="stylesheet" href="node_modules/split-pane/pretty-split-pane.css" />
<link rel="stylesheet" type="text/css" href="src/css/style.css">
<link rel="stylesheet" type="text/css" href="src/css/call-tree-network.css">
<link rel="stylesheet" type="text/css" href="src/css/tooltip.css">
<script type="text/javascript" src="src/import.js"></script>
<style type="text/css">
html,
body {
height: 100%;
min-height: 100%;
margin: 0;
padding: 0;
overflow: hidden;
}
</style>
<link rel="stylesheet" type="text/css" href="src/css/split-pane.css">
<script>
jQuery(function () {
jQuery('div.split-pane').splitPane();
});
__$__.d3 = d3;
</script>
</head>
<body>
<div id="menu-bar">
<div id="viewMode">
View Mode:
<select name="pullDownViewMode" id="pullDownViewMode">
<option value="Snapshot">Snapshot</option>
<option value="Summarized">Summarized</option>
</select>
</div>
<form id='fontSizeForm' name='fontSizeForm'>
font size: <input id="fontSize" name="fontSize" oninput="__$__.FontSizeUpdate();" placeholder="12">
</form>
<div id="autoLayout">
<input type="checkbox" name="autoLayout" value="true" checked="checked">Auto Layout
</div>
<div id="fileOperation">
<input id="saveButton" type="button" value="Save file" onclick="__$__.saveFile()">
<input id="readInput" type="file" onclick="__$__.readFile()">
<!-- Load examples -->
Select Examples:
<select id="selectExample"><option value="" disabled selected hidden>Wait for loading Examples</option></select>
<input type="button" value="Paste" onclick="__$__.pasteExample();">
</div>
<input id="redrawButton" type="button" value="redraw"
onclick="__$__.Update.waitForStabilized = false; __$__.Update.ContextUpdate('changed');">
</div>
<div class="pretty-split-pane-frame" id="split-pane-frame">
<div class="split-pane fixed-left" id="split-pane">
<div class="split-pane-component" id="left-component">
<div class="pretty-split-pane-component-inner">
<div id="editor">
<script type="text/javascript" src="src/js/editor.js"></script>
</div>
</div>
</div>
<div class="split-pane-divider" id="vertical-divider"></div>
<div class="split-pane-component" id="right-component">
<div class="split-pane horizontal-percent">
<div class="split-pane-component" id="top-component">
<div class="pretty-split-pane-component-inner">
<div id="mynetwork"></div>
</div>
</div>
<div class="split-pane-divider" id="horizontal-divider"></div>
<div class="split-pane-component" id="bottom-component">
<div class="pretty-split-pane-component-inner">
<div id="callTree"></div>
</div>
</div>
</div>
</div>
</div>
</div>
<div id='console'></div>
<div id="network-popUp">
<span id="operation">node</span> <br>
<table style="margin:auto;">
<tr>
<td>label</td>
<td><input id="node-label" value="new value" /></td>
</tr>
</table>
<div id="isLiteral">
<input type="checkbox" name="isLiteral" id="checkboxForLiteral" value="true">Literal
</div>
<input type="button" value="save" id="saveButtonForTestize" />
<input type="button" value="cancel" id="cancelButtonForTestize" />
</div>
<div id="tooltip_set" class="seecoderun_tooltip">set test</div>
<div id="tooltips" class="seecoderun_tooltip">
<div id="tooltip_modify">modify</div>
<div id="tooltip_remove">remove</div>
</div>
<script type="text/javascript" src="src/js/network.js"></script>
<script type="text/javascript" src="src/js/call-tree/network.js"></script>
<script>
jQuery.noConflict();
__$__.StorePositions.registerPositions();
__$__.StorePositions.oldNetwork.edges = __$__.ObjectGraphNetwork.edges._data;
__$__.editor.getSelection().clearSelection();
__$__.Update.PositionUpdate();
</script>
<script type="text/javascript" src="src/js/eventHandler.js"></script>
</body>
</html>