Folder Name does not change HTML title until refresh of folder's page (in 5.3)

[msheffey]

HTML title is only updated to be the folder name when the page is refreshed, not when originally navigating to the folder's page.

After clicking on a folder:

Then, refreshing that page:

[takluyver]

Thanks! The code for that is here:

notebook/notebook/static/tree/js/notebooklist.js

Lines 402 to 407 in 3de5e50

	NotebookList.prototype.update_location = function (path) {
	this.notebook_path = path;
	$('body').attr('data-notebook-path', path);
	// Update the file tree list without reloading the page
	this.load_list();
	};