diff options
author | Rasmus Andersson <rasmus@notion.se> | 2017-10-05 18:35:00 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2017-10-05 18:35:00 +0300 |
commit | d75ae361b67586e62fb9e95aeb4281e30da9f700 (patch) | |
tree | 03df4ade96813c86e6d7850e10ab2e4f60338f1d /docs | |
parent | 47a70191d279ec892a2940d15e8c6713f7be0c58 (diff) | |
download | inter-d75ae361b67586e62fb9e95aeb4281e30da9f700.tar.xz |
website/lab: allow arbitrary sample text
Diffstat (limited to 'docs')
-rw-r--r-- | docs/lab/index.html | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index 79bcd2a91..57eca7490 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -1501,10 +1501,7 @@ function main() { samplesSelect.appendChild(opt) } sampleVar = vars.bind('sample', samplesSelect, (e, v) => { - let sampleText = samples.get(v) - if (!sampleText) { - return - } + let sampleText = samples.get(v) || ''+v if (v == 'Repertoire') { repertoireControl.style.display = null |