-
Notifications
You must be signed in to change notification settings - Fork 4
/
index.html
141 lines (127 loc) · 4.64 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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
<!doctype html>
<html>
<head>
<title>Kanon</title>
<!-- modalmenu -->
<link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/StephanWagner/[email protected]/dist/jBox.all.min.css" />
<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="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>
<script type="module" src="src/js/menubar.js"></script>
<div id="app"></div>
<div id="menu-bar" style="display:none">
<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>
<div id="viewMode">
Draw Mode:
<select name="SelectDrawMethod" id="SelectDrawMethod">
<option value="FiFA">FiFA</option>
<option value="Original">Original</option>
</select>
</div>
<!-- <div id="selectClass"></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 show_testGraph">set test</div>
<div id="tooltips" class="seecoderun_tooltip">
<div id="tooltip_modify" class="show_testGraph">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>