From b49ba1bd3c51cdc4c6ff0113cbfea9b4d234adfd Mon Sep 17 00:00:00 2001
From: Robert Sesek <rsesek@bluestatic.org>
Date: Sun, 14 Nov 2010 20:07:12 -0500
Subject: [PATCH] Set the title of the document to include the path.

---
 web_frontend/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web_frontend/main.js b/web_frontend/main.js
index fa9c970..1855a1b 100644
--- a/web_frontend/main.js
+++ b/web_frontend/main.js
@@ -68,6 +68,7 @@ armadillo.App.prototype.list = function(path) {
     goog.dom.setTextContent(goog.dom.getElement('pwd'), path);
     app.currentPath_ = path;
     window.location.hash = path;
+    document.title = path + ' - Armadillo';
     var list = goog.dom.getElement('ls');
     goog.dom.removeChildren(list);
 
-- 
2.22.5