-
Notifications
You must be signed in to change notification settings - Fork 187
/
hterm.html
62 lines (58 loc) · 3.1 KB
/
hterm.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
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<script type="text/javascript" src="../../share/ghcjs-closure-0.1.0.0/closure-library/closure/goog/base.js"></script>
<script type="text/javascript">
goog.require('goog.math.Long');
goog.require('goog.math.Integer');
goog.require('goog.debug.Logger');
goog.require('goog.debug.Console');
</script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib_colors.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib_f.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib_fs.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib_preference_manager.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/lib_utf8.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_frame.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_keyboard.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_keyboard_keymap.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_options.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_pubsub.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_screen.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_scrollport.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_terminal.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_terminal_io.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_text_attributes.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_vt.js'></script>
<script type="text/javascript" src='../../share/ghcjs-hterm-0.1.0.0/js/hterm_vt_character_map.js'></script>
<script type="text/javascript" src="../../share/ghcjs-0.1.0/rts/rts-options.js"></script>
<script type="text/javascript" src="../../share/ghcjs-0.1.0/rts/rts-common.js"></script>
<script type="text/javascript" src="../../share/ghcjs-0.1.0/rts/rts-webkit.js"></script>
<script type="text/javascript" src="../../share/ghcjs-0.1.0/rts/rts-trampoline.js"></script>
<script type="text/javascript" src="hsloader.js"></script>
<script type="text/javascript" src="hterm.js"></script>
<title>Haskell Application</title>
<style>
body {
position: absolute;
padding: 0;
margin: 0;
height: 100%;
width: 100%;
overflow: hidden;
}
#terminal {
display: block;
position: relative;
width: 100%;
height: 100%;
}
</style>
</head>
<body>
<div id='terminal'></div>
</body>
</html>