Merge 2bfe03545d into a24c55b76d

8 years ago · 0d5c438a59
1 changed files with 6 additions and 0 deletions
--- a/public/index.html
+++ b/public/index.html
@ -25,6 +25,12 @@

 <body>
    <div id="terminal"></div>
+	<script type="application/javascript">
+window.addEventListener('beforeunload', function(e) {
+	e.returnValue = "Are you sure?";
+	return e.returnValue;
+});
+	</script>
 </body>

 </html>