2011-11-18 03:44:48 +00:00
|
|
|
<html>
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
|
2011-11-18 22:23:23 +00:00
|
|
|
<title>haste</title>
|
2011-11-18 03:44:48 +00:00
|
|
|
|
|
|
|
|
<link rel="stylesheet" type="text/css" href="solarized_dark.css"/>
|
2011-11-18 22:23:23 +00:00
|
|
|
<link rel="stylesheet" type="text/css" href="application.css"/>
|
2011-11-18 03:44:48 +00:00
|
|
|
|
2011-11-18 03:47:43 +00:00
|
|
|
<script type="text/javascript" src="jquery-1.7.min.js"></script>
|
2011-11-18 03:44:48 +00:00
|
|
|
<script type="text/javascript" src="highlight.min.js"></script>
|
|
|
|
|
<script type="text/javascript" src="application.js"></script>
|
|
|
|
|
|
2011-11-18 15:17:41 +00:00
|
|
|
<script type="text/javascript">
|
2011-11-21 14:56:33 +00:00
|
|
|
var app = null;
|
|
|
|
|
// Handle pops
|
|
|
|
|
var handlePop = function(evt) {
|
|
|
|
|
var path = evt.target.location.pathname;
|
|
|
|
|
if (path === '/') {
|
|
|
|
|
app.newDocument(true);
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
app.loadDocument(path.substring(1, path.length));
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
// If pop before loading jquery, delay load
|
|
|
|
|
window.onpopstate = function(evt) {
|
|
|
|
|
try {
|
|
|
|
|
handlePop(evt);
|
|
|
|
|
} catch(err) {
|
|
|
|
|
// not loaded yet
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
// Construct app and load if not loaded
|
2011-11-18 15:17:41 +00:00
|
|
|
$(function() {
|
2011-11-21 14:56:33 +00:00
|
|
|
app = new haste('haste', { twitter: true });
|
|
|
|
|
handlePop({ target: window });
|
2011-11-18 15:17:41 +00:00
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
|
2011-11-18 03:44:48 +00:00
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
|
2011-11-19 05:30:14 +00:00
|
|
|
<div id="key"></div>
|
2011-11-21 14:56:33 +00:00
|
|
|
<pre id="box" style="display:none;" tabindex="0"><code></code></pre>
|
2011-11-18 15:17:41 +00:00
|
|
|
<textarea spellcheck="false" style="display:none;"></textarea>
|
2011-11-18 03:44:48 +00:00
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
