1 files changed, 21 insertions, 0 deletions
diff --git a/src/server/gwt-client/www/se.chalmers.cs.gf.gwt.TranslateApp/history.html b/src/server/gwt-client/www/se.chalmers.cs.gf.gwt.TranslateApp/history.html
new file mode 100644
index 000000000..b06f46ae5
--- /dev/null
+++ b/src/server/gwt-client/www/se.chalmers.cs.gf.gwt.TranslateApp/history.html
@@ -0,0 +1,21 @@
+<html>
+<head>
+<script>
+function hst() {
+  var search = location.search;
+  var historyToken = '';
+  if (search.length > 0)
+    historyToken = search.substring(1);
+
+  document.getElementById('__gwt_historyToken').value = historyToken;
+  if (parent.__gwt_onHistoryLoad) {
+    parent.__gwt_onHistoryLoad(historyToken);
+  }
+}
+</script></head>
+<body onload='hst()'>
+
+<input type='text' id='__gwt_historyToken' tabIndex='-1'>
+
+</body>
+</html>