diff options
-rw-r--r-- | Main.hs | 2 | ||||
-rw-r--r-- | data/script.js | 3 |
2 files changed, 4 insertions, 1 deletions
@@ -122,6 +122,8 @@ protoentry db (ident, p) = id_ $ T.pack ident , class_ "protocol" , data_ "name" (T.pack $ pname p) + , data_ "longname" (maybe "" T.pack $ plongname p) + , data_ "author" (maybe "" T.pack $ field "author") , data_ "year" (maybe "" T.pack $ field "year") ] $ do h3_ $ do diff --git a/data/script.js b/data/script.js index d680225..7e8bef3 100644 --- a/data/script.js +++ b/data/script.js @@ -18,7 +18,8 @@ $(document).ready (function () { var items = $('#protocols .protocol'); for (var i = 0; i < items.length; i++) { var e = $(items[i]); - if (e.data ('name').toLowerCase ().indexOf (search) >= 0) { + var val = e.data ('name') + ' ' + e.data ('longname') + ' ' + e.data ('author'); + if (val.toLowerCase ().indexOf (search) >= 0) { e.show (); } else { e.hide (); |