2011-11-18 04:44:48 +01:00
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
|
2011-11-18 23:23:23 +01:00
|
|
|
<title>haste</title>
|
2011-11-18 04:44:48 +01:00
|
|
|
|
|
|
|
|
<link rel="stylesheet" type="text/css" href="solarized_dark.css"/>
|
2011-11-18 23:23:23 +01:00
|
|
|
<link rel="stylesheet" type="text/css" href="application.css"/>
|
2011-11-18 04:44:48 +01:00
|
|
|
|
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 23:23:23 +01:00
|
|
|
var app = new haste('haste');
|
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>
|
|
|
|
|
|
2011-11-19 00:17:49 +01:00
|
|
|
<div id="key">
|
|
|
|
|
<em>haste</em>
|
|
|
|
|
^s - save<br>
|
|
|
|
|
^n - new<br>
|
|
|
|
|
^d - duplicate
|
|
|
|
|
</div>
|
|
|
|
|
|
2011-11-18 04:44:48 +01:00
|
|
|
<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>
|
