-
Notifications
You must be signed in to change notification settings - Fork 12
/
shen.html
123 lines (114 loc) · 4.49 KB
/
shen.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
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8"/>
<meta name="viewport" content="width=device-width,
height=device-height,
initial-scale=1,
maximum-scale=1,
user-scalable=0"/>
<link rel="stylesheet" href="web/shen.css" type="text/css"/>
<script type="text/javascript" src="web/boot.js"></script>
<title>Shen REPL</title>
</head>
<body class="expand">
<div id="wait_frame" class="overlay wait">
<div id="wait_pane" class="wait_pane alt_bg">
<div id="wait_text" class="wait_text">Please wait…</div>
<div id="wait_status" class="wait_text wait_status">Loading</div>
<img id="wait_progress" src="web/wait.gif"/>
</div>
</div>
<div id="main" class="main expand">
<div class="fs tbl noselect alt_bg">
<div class="hdr_container tbl_row alt_hdr_fg alt_hdr_bg">
<div id="file_ctl" class="hdr tbl_cell hdr_tool undisplayed"></div>
<div id="dir_ctl" class="hdr tbl_cell hdr_tool"></div>
<div class="hdr_title tbl_cell"></div>
</div>
<div class="tbl_row">
<div class="outer tbl_cell">
<div id="fs_tree_container" class="inner">
<div id="fs_tree" class="fs_tree expand"></div>
</div>
</div>
</div>
</div>
<div class="main_inner">
<div id="editor" class="editor expand tbl">
<div class="hdr_container tbl_row hdr_fg hdr_bg">
<div class="hdr tbl_cell">
<div class="tbl_row">
<input type="checkbox" id="fs_toggle" class="fs_toggle"/>
<label id="fs_toggle_label" for="fs_toggle"
class="tbl_cell alt_hdr_fg alt_hdr_bg alt_hdr_hover
alt_hdr_active icon_btn btn_bg noselect">
<div class="tbl_row noselect">
<div class="tbl_cell fs_toggle_icon">
<img src="web/folder.png"/>
</div>
<div class="tbl_cell fs_toggle_arrow"></div>
</div>
</label>
<div id="editor_title" class="hdr_title tbl_cell"></div>
<div id="editor_toolbar" class="hdr_tool tbl_cell"></div>
<div class="hdr_tool tbl_cell">
<button class="maximize_btn icon_btn btn_bg btn_fg">
<img src="web/maximize.png"/>
</button>
</div>
</div>
</div>
</div>
<div id="editor_view_container"
class="tbl_row editor_border undisplayed">
<div class="outer tbl_cell">
<div class="inner">
<div id="editor_view" class="editor_view expand code"></div>
</div>
</div>
</div>
<div id="editor_edit_container" class="tbl_row editor_border">
<div class="outer tbl_cell">
<div class="inner">
<textarea
id="editor_edit"
class="editor_edit entry_fg entry_bg code"></textarea>
</div>
</div>
</div>
</div>
<div id="repl" class="repl expand tbl">
<div class="hdr_container tbl_row hdr_fg hdr_bg">
<div class="hdr tbl_cell">
<div class="tbl_row">
<div class="hdr_title tbl_cell">*output*</div>
<div class="hdr_tool tbl_cell">
<button class="maximize_btn icon_btn btn_bg btn_fg">
<img src="web/maximize.png"/>
</button>
</div>
</div>
</div>
</div>
<div class="repl_out_container tbl_row">
<div class="tbl_cell">
<div class="inner">
<div id="repl_out"
class="repl_out
expand
code"><span id="repl_in"
class="repl_in entry_fg
code
repl_tag_input"></span></div>
</div>
</div>
</div>
</div>
</div>
</div>
<script type="application/javascript">
shen_web.init({fs_index: "fs.json"});
</script>
</body>
</html>