2011-11-18 11:44:48 +08:00
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
|
2011-11-19 06:23:23 +08:00
|
|
|
<title>haste</title>
|
2011-11-18 11:44:48 +08:00
|
|
|
|
|
|
|
|
<link rel="stylesheet" type="text/css" href="solarized_dark.css"/>
|
2011-11-19 06:23:23 +08:00
|
|
|
<link rel="stylesheet" type="text/css" href="application.css"/>
|
2011-11-18 11:44:48 +08:00
|
|
|
|
2011-11-18 11:47:43 +08:00
|
|
|
<script type="text/javascript" src="jquery-1.7.min.js"></script>
|
2011-11-18 11:44:48 +08:00
|
|
|
<script type="text/javascript" src="highlight.min.js"></script>
|
|
|
|
|
<script type="text/javascript" src="application.js"></script>
|
|
|
|
|
|
2011-11-18 23:17:41 +08:00
|
|
|
<script type="text/javascript">
|
|
|
|
|
$(function() {
|
2011-11-19 05:22:00 +08:00
|
|
|
// Set up
|
2011-11-19 06:23:23 +08:00
|
|
|
var app = new haste('haste');
|
2011-11-19 05:22:00 +08:00
|
|
|
// Handle pops
|
|
|
|
|
window.onpopstate = function(evt) {
|
|
|
|
|
var path = evt.target.location.pathname;
|
|
|
|
|
if (path === '/') {
|
2011-11-19 05:37:18 +08:00
|
|
|
app.newDocument(true);
|
2011-11-19 05:22:00 +08:00
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
app.loadDocument(path.substring(1, path.length));
|
|
|
|
|
}
|
|
|
|
|
};
|
2011-11-18 23:17:41 +08:00
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
|
2011-11-18 11:44:48 +08:00
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
|
2011-11-19 13:30:14 +08:00
|
|
|
<div id="key"></div>
|
2011-11-18 11:44:48 +08:00
|
|
|
<pre id="box" style="display:none;"><code></code></pre>
|
2011-11-18 23:17:41 +08:00
|
|
|
<textarea spellcheck="false" style="display:none;"></textarea>
|
2011-11-18 11:44:48 +08:00
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
