forked from ipython/ipython
-
Notifications
You must be signed in to change notification settings - Fork 1
/
notebook.html
84 lines (82 loc) · 2.76 KB
/
notebook.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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>AJAX test</title>
<style type="text/css">
pre, p { margin:0px; }
.cblue { color: blue }
.ccyan { color: teal }
.cgreen { color: green }
.cyellow { color: yellow }
.cred { color: red }
.cbold { font-weight:bold }
.hidden { display:none; }
.clear { clear:both; }
.headers { font-size:60%; display:none;}
.xreq { font-style:italic }
#statusbar { float:right; width:20%;}
#statusbar span { vertical-align:middle; }
#statusbar .bullet {
font-size:150%;
margin-left:10px;
float:right;
}
.message {
margin:2px;
font-family:sans-serif;
font-size:10pt;
}
.message .input_header {
color:blue;
float:left;
width:80px;
}
.message .input { float:left; }
.message .output_header {
color:red;
float:left;
width:80px;
}
.message .output { float:left; }
.inlinesvg { width:432pt; height:288pt; }
</style>
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js"></script>
<script type="text/javascript" src="js/notebook.js"></script>
<script type="text/javascript">
client_id = "/$client_id";
$.ajaxSetup({
url: client_id,
dataType: "json"
})
$(document).ready(function() {
comet()
heartbeat()
$("#exec").keypress(function(e) {
if (e.which == 13) {
execute(e.target.value)
e.target.value = ""
}
})
//Startup POST, set some globals
$.ajax({
type: "POST",
data: {type:"connect"},
success: function(json, status, request) {
username = json.parent_header.username
session = json.parent_header.session
exec_count = json.content.execution_count
}
})
manager = new Manager("messages")
statusbar = new StatusBar("statusbar")
})
</script>
</head>
<body>
<div id="messages"></div>
<input id="exec" style="width:100%" />
<div id="statusbar"></div>
</body>
</html>