Add editor filter

Fixes #18.
simon04 · May 9, 2016 · 62f7a8e97e35404aca10b0310ce51e6a42bafde8 · 62f7a8e
1 parent d66d046
commit 62f7a8e97e35404aca10b0310ce51e6a42bafde8
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/www/index.html b/www/index.html
@@ -124,6 +124,7 @@
             <li>
                 Filter:
                 <input type="text" size="12" id="tchangeset" value="" placeholder="changeset" title="Filter changeset id">
+                <input type="text" size="12" id="teditor" value="" placeholder="editor" title="Filter editors (`created_by`)">
                 <input type="text" size="12" id="tuser" value="" placeholder="user" title="Filter user names (comma separated, use '!'/'-' to invert)">
                 <input type="button" value="Apply" onclick="applyFilter();">
             </li>

diff --git a/www/whodidit.js b/www/whodidit.js
@@ -249,6 +249,13 @@ function setChangeset(ch) {
     updateParams();
 }
 
+function setEditor(ch) {
+    document.getElementById('teditor').value = ch;
+    editor = ch;
+    //document.getElementById('vwhere').style.visibility = 'inherit';
+    updateParams();
+}
+
 function setUser(ch) {
     document.getElementById('tuser').value = ch;
     username = ch;
@@ -274,6 +281,7 @@ function setAge(ch) {
 
 function applyFilter() {
     setChangeset(document.getElementById('tchangeset').value);
+    setEditor(document.getElementById('teditor').value);
     setUser(document.getElementById('tuser').value);
     updateParams();
 }