diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-08 17:30:11 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-16 16:10:26 -0500 |
| commit | 819f55a4237f9d237ac2566bccc9943ee48d195f (patch) | |
| tree | 40c847ce5fd579b99b5ba0544c255fa53d51eff0 /docs/repl.js | |
| parent | e071a1646746b74cde65d370bc30153b629796cc (diff) | |
Add 3270 font sample
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/repl.js b/docs/repl.js index 4fbbda8e..2a54becd 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -110,13 +110,14 @@ doc.kb.onmousedown = ev => { } if (doc.demo) { - let fonts=[["DejaVu","Mod"],["BQN386"],["Fairfax","HD"],["Julia","Mono"]]; + let fonts=[["DejaVu","Mod"],["BQN386"],["Fairfax","HD"],["3270","font"],["Julia","Mono"]]; + let fclass = f => f==="3270"?"f"+f:f let fontsel = '<select>'+fonts.map(f => '<option value="'+f[0]+'">'+f[0]+(f[1]?' '+f[1]:'')+'</option>' ).join("")+'select'; doc.kb.innerHTML += fontsel; doc.kb.querySelector('select').onchange = - e=>doc.cont.className='cont '+e.target.value; + e=>doc.cont.className='cont '+fclass(e.target.value); } if (doc.perm) doc.perm.onmouseover = doc.perm.onfocus = () => { |