-
Notifications
You must be signed in to change notification settings - Fork 2
/
index.html
76 lines (63 loc) · 2.54 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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta content="width=device-width, initial-scale=1.0" name="viewport">
<meta content="ie=edge" http-equiv="X-UA-Compatible">
<link href="css/index.css" rel="stylesheet">
<link href="css/grid.css" rel="stylesheet">
<link href="css/block.css" rel="stylesheet">
<link href="css/inode.css" rel="stylesheet">
<title>xv6 File System Visualizer</title>
</head>
<body>
<fieldset class="row" id="image-selector">
<legend>Please select an xv6 file system image:</legend>
<div id="image-list"></div>
, or upload your own
<input id="file-upload" type="file"/>
</fieldset>
<div class="row" id="image-viewer">
<div class="column panel" id="file-tree">
<h1>File Tree</h1>
<div class="content" id="file-tree-content"></div>
</div>
<div class="column" id="grid">
<div class="panel" id="inode-grid">
<h1>Inodes</h1>
<div class="grid-container content" id="inode-container"></div>
</div>
<div class="panel" id="block-grid">
<h1>Blocks</h1>
<div class="grid-container content" id="block-container"></div>
</div>
</div>
<div class="column panel" id="detail">
<h1 id="detail-title"></h1>
<div class="content" id="detail-content"></div>
</div>
</div>
<script type='text/javascript'>
const Elements = Object.freeze({
imageListContainer: document.getElementById("image-list"),
fileUpload: document.getElementById("file-upload"),
detailContent: document.getElementById("detail-content"),
detailTitle: document.getElementById("detail-title"),
inodeContainer: document.getElementById("inode-container"),
blockContainer: document.getElementById("block-container"),
fileTreeContent: document.getElementById("file-tree-content"),
fileTreePanel: document.getElementById("file-tree"),
gridColumn: document.getElementById("grid"),
imageViewer: document.getElementById("image-viewer"),
});
</script>
<script src="js/text.min.js" type='text/javascript'></script>
<script src="js/config.js" type='text/javascript'></script>
<script src="js/grid.js" type='text/javascript'></script>
<script src="js/block.js" type='text/javascript'></script>
<script src="js/inode.js" type='text/javascript'></script>
<script src="js/filetree.js" type='text/javascript'></script>
<script src="js/index.js" type='text/javascript'></script>
<script src="js/image.js" type='text/javascript'></script>
</body>
</html>