added input box for a faster file search and opening

2013-06-12 13:36:58 +02:00
parent 4f15c03686
commit 377d3a9ff3
5 changed files with 678 additions and 2 deletions
@@ -247,3 +247,6 @@ function load_file (url) {
 		error: function(x) { on_error(); }
 	});
 }
+
+var template_js = '<p class="repo-name">{{{a_tag}}}</p><small>{{address}}</small>';
+