-
Notifications
You must be signed in to change notification settings - Fork 0
/
inspector.html
111 lines (101 loc) · 4.48 KB
/
inspector.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
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Remote Inspector</title>
<link rel="shortcut icon" href="favicon.ico" type="image/x-icon">
<link rel="icon" href="favicon.ico" type="image/x-icon">
<script src="jquery-2.1.4.js"></script>
<script charset="utf-8">
/* load include part of html */
$(function(){/* todo: rename file */
$("#div_treeHelp_common").load("tree_help_common.html.inc");
});
</script>
<script src="CodeMirror-5.7.0/lib/codemirror.js"></script>
<script src="CodeMirror-5.7.0/mode/scheme/scheme.js"></script>
<link rel="stylesheet" href="CodeMirror-5.7.0/lib/codemirror.css">
<script src="tree.jquery.js"></script>
<link rel="stylesheet" href="jqtree.css" />
<script src="interact.js" charset="utf-8"></script>
<script src="egBase.js" charset="utf-8"></script>
<script src="symbolsTree.js" charset="utf-8"></script>
<script src="console.js"></script>
<link rel="stylesheet" href="console.css">
<link rel="stylesheet" href="inspector.css">
</head>
<body id="strong">
<table id="table_main">
<tr id="tr_top">
<td id="wrapper_remote_console" class="colLeft">
<textarea id="remote_console"></textarea>
</td>
<td class="colRight">
<div id="div_symbolsView">
<div id="div_tree"></div>
<div id="div_treeHelp">
<div id="div_treeHelp_common"></div>
</div>
</div>
</td>
</tr>
<tr id="tr_sep"> <!-- one row with one cell with one table -->
<td id="td_sep" colspan="3"> <!-- one cell with table -->
<table id="table_sep" class="sep">
<tr>
<td id="td_sepAreaLeft">
<span>
↑ stdout remote
</span>
<input type="checkbox" id="cb_showTextBG_remote_console" name="cb_showTextBG" title="If checked, show text background of stdout: good for making whitespace visible.">
<label for="cb_showTextBG_remote_console" title="If checked, show text background of stdout: good for making whitespace visible.">text BG</label>
</input>
<span>
↓ stderr remote
</span>
<input type="checkbox" id="cb_showTextBG_remote_stderr" name="cb_showTextBG_remote_stderr" title="If checked, show text background of stderr: good for making whitespace visible.">
<label for="cb_showTextBG_remote_stderr" title="If checked, show text background of stderr: good for making whitespace visible.">text BG</label>
</input>
</td>
<td id="td_sepAreaMiddle">
<input type="text"
id="remoteArguments"
title="*Additional* remote startup arguments (some arguments needed are always there - like -C for prompt and some libs for introspection)."
value="helloWorld.lsp"></input>
<select id="actionMenu" title="select remote control action">
<option hidden title="action menu">remote control </option>
<option title="start remote with arguments">start</option>
<option title="send signal SIGINT (2) 
 Note: interrupt prompt not visible, if there is *not* a running evaluation.">interrupt</option>
<option title="send signal SIGTERM (15)">kill soft</option>
<option title="send signal SIGKILL (9)">kill hard</option>
</select>
<span>PID: </span><span id="PID">none</span>
<!--
<select id="navigationMenu" title="go to...">
<option hidden>navigation</option>
<option>symbols.html</option>
<option>symbols-JSON</option>
<option>index.html</option>
</select>
-->
</td>
<td id="td_sepAreaRight">
<span>
↑ symbols remote ↓ log Inspector
</span>
</td>
</tr>
</table>
</td>
</tr>
<tr id="tr_bottom">
<td id="wrapper_remote_stderr" class="colLeft">
<textarea id="remote_stderr"></textarea>
</td>
<td id="wrapper_log" class="colRight">
<textarea id="log"></textarea>
</td>
</tr>
</table>
</body>
</html>