# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 1545765822 -3600
# Node ID 26b1e8a6998c119e8947cea16f04585833a81df0
# Parent  553f38960a5a58b1fb466fbed8788ec798bbf1a2
files: set page title explicitly when navigating history

To be used when dropping native.history.js ...

diff -r 553f38960a5a -r 26b1e8a6998c kallithea/templates/files/files.html
--- a/kallithea/templates/files/files.html	Tue Dec 25 20:23:42 2018 +0100
+++ b/kallithea/templates/files/files.html	Tue Dec 25 20:23:42 2018 +0100
@@ -82,7 +82,7 @@
         // Change our States and save some data for handling events
         var state = {url:url, title:title, url_base:_url_base,
                      node_list_url:_node_list_url, rev:rev, f_path:f_path};
-        History.pushState(state, title, url);
+        History.pushState(state, null, url);
 
         //now we're sure that we can do ypjax things
         e.preventDefault();
@@ -113,6 +113,8 @@
     tooltip_activate();
 
     if(state !== undefined) {
+        document.title = state.title;
+
         //initially loaded stuff
         var _f_path = state.f_path;
         var _rev = state.rev;