29 				var evt = {category: 'DISCARD-FILE-' + file.getHash(),
63 				'-AUTOSAVE-FILE-' + file.getHash(), action: 'changed',
1825 		var evt = {category: 'WARN-FILE-' + file.getHash(),
2261 			if (file.constructor == LocalFile && file.getHash() == '' && !file.isModified() &&
3126 					if (file == null || file.getHash() != id)
3139 							window.location.hash = (file != null) ? file.getHash() : '';
3198 							file.getHash = function()  function
4367 				var oldHash = file.getHash();
4372 					if (file.constructor != LocalLibrary && oldHash != file.getHash())
4375 						mxSettings.addCustomLibrary(file.getHash());
4859 		url += '#' + file.getHash();
5031 						window.location.hash = (tempFile != null) ? tempFile.getHash() : '';
5041 							window.location.hash = (tempFile != null) ? tempFile.getHash() : '';
5098 				tempFile.getHash = function()
5161 										currentFile.getHash = function()  function
5166 										window.location.hash = '#' + currentFile.getHash();
5232 						tempFile.getHash = function()  function
5305 						window.location.hash = (currentFile != null) ? currentFile.getHash() : '';
5327 							currentFile.getHash = function()
5332 							window.location.hash = '#' + currentFile.getHash();
5366 								window.location.hash = '#' + currentFile.getHash();
5389 					window.location.hash = currentFile.getHash();
5422 		tip += '\n' + file.getHash();
6456 			var newHash = file.getHash();