2011-11-18 04:44:48 +01:00
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
|
|
|
|
|
<title>heist</title>
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" type="text/css" href="solarized_dark.css"/>
|
|
|
|
|
<style type="text/css">
|
|
|
|
|
body {
|
|
|
|
|
background: #002B36;
|
|
|
|
|
padding: 0px;
|
|
|
|
|
margin: 0px;
|
|
|
|
|
}
|
|
|
|
|
textarea {
|
|
|
|
|
background: transparent;
|
|
|
|
|
border: 0px;
|
|
|
|
|
color: #fff;
|
|
|
|
|
padding: 20px;
|
|
|
|
|
width: 100%;
|
|
|
|
|
height: 100%;
|
|
|
|
|
font-family: monospace;
|
|
|
|
|
outline: none;
|
|
|
|
|
resize: none;
|
|
|
|
|
font-size: 13px;
|
|
|
|
|
}
|
|
|
|
|
#box {
|
|
|
|
|
padding: 0px;
|
|
|
|
|
width: 100%;
|
|
|
|
|
height: 100%;
|
|
|
|
|
}
|
|
|
|
|
#box code {
|
|
|
|
|
padding: 20px;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
|
|
|
|
|
2011-11-18 04:47:43 +01:00
|
|
|
<script type="text/javascript" src="jquery-1.7.min.js"></script>
|
2011-11-18 04:44:48 +01:00
|
|
|
<script type="text/javascript" src="highlight.min.js"></script>
|
|
|
|
|
<script type="text/javascript" src="application.js"></script>
|
|
|
|
|
|
2011-11-18 16:17:41 +01:00
|
|
|
<script type="text/javascript">
|
|
|
|
|
$(function() {
|
2011-11-18 22:22:00 +01:00
|
|
|
// Set up
|
2011-11-18 16:17:41 +01:00
|
|
|
var app = new heist('heist');
|
2011-11-18 16:49:00 +01:00
|
|
|
$('textarea').focus();
|
2011-11-18 22:22:00 +01:00
|
|
|
// Handle pops
|
|
|
|
|
window.onpopstate = function(evt) {
|
|
|
|
|
var path = evt.target.location.pathname;
|
|
|
|
|
if (path === '/') {
|
2011-11-18 22:37:18 +01:00
|
|
|
app.newDocument(true);
|
2011-11-18 22:22:00 +01:00
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
app.loadDocument(path.substring(1, path.length));
|
|
|
|
|
}
|
|
|
|
|
};
|
2011-11-18 16:17:41 +01:00
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
|
2011-11-18 04:44:48 +01:00
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<pre id="box" style="display:none;"><code></code></pre>
|
2011-11-18 16:17:41 +01:00
|
|
|
<textarea spellcheck="false" style="display:none;"></textarea>
|
2011-11-18 04:44:48 +01:00
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
