diff options
author | Martin Fischer <martin@push-f.com> | 2021-03-03 16:54:22 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2021-03-03 16:54:22 +0100 |
commit | da40e4f676888eff32d27dc79502394ab20a82a5 (patch) | |
tree | 8f660b45ea88d3d4d678c5b73c9ed2e199068818 | |
parent | 30099b5d9b616b820341b70582f26685597cebe5 (diff) |
make autocompletion link redirects
-rw-r--r-- | assets/script.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/assets/script.js b/assets/script.js index 4b4b5c5..34c386e 100644 --- a/assets/script.js +++ b/assets/script.js @@ -36,7 +36,10 @@ const suggestionsDiv = document.getElementById('suggestions'); .forEach(x => { const l = x.law; const a = document.createElement('a'); - a.href = l.url; + if (l.redir) + a.href = '/' + l.redir; + else + a.href = l.url; a.textContent = l.title; const li = document.createElement('li'); li.appendChild(a); |