diff options
author | Přemysl Eric Janouch <p@janouch.name> | 2022-09-07 15:33:38 +0200 |
---|---|---|
committer | Přemysl Eric Janouch <p@janouch.name> | 2022-09-07 15:34:52 +0200 |
commit | 2341228efd02bcd4c99214885a5214826bfffa5c (patch) | |
tree | edab812d3e72c6b6e689db704c4ffb4dfbdbae0d /xP/public/xP.js | |
parent | 2e3005d88b6ee65689f5cf71905b014a56523160 (diff) | |
download | xK-2341228efd02bcd4c99214885a5214826bfffa5c.tar.gz xK-2341228efd02bcd4c99214885a5214826bfffa5c.tar.xz xK-2341228efd02bcd4c99214885a5214826bfffa5c.zip |
xP: implement buffer line leakage
Rather than on redisplay, these get cleared on reconnect.
Diffstat (limited to 'xP/public/xP.js')
-rw-r--r-- | xP/public/xP.js | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/xP/public/xP.js b/xP/public/xP.js index 7bcfeb2..1322a9b 100644 --- a/xP/public/xP.js +++ b/xP/public/xP.js @@ -195,10 +195,12 @@ rpc.addEventListener('BufferActivate', event => { }) rpc.addEventListener('BufferLine', event => { - let e = event.detail, b = buffers.get(e.bufferName) - if (b === undefined) - return - b.lines.push({when: e.when, rendition: e.rendition, items: e.items}) + let e = event.detail, b = buffers.get(e.bufferName), + line = {when: e.when, rendition: e.rendition, items: e.items} + if (b !== undefined) + b.lines.push({...line}) + if (e.leakToActive && (b = buffers.get(bufferCurrent)) !== undefined) + b.lines.push({leaked: true, ...line}) }) rpc.addEventListener('BufferClear', event => { @@ -327,7 +329,7 @@ let Content = { classes.add(c) } let fg = -1, bg = -1, inverse = false - return m('.content', {}, [mark, line.items.flatMap(item => { + return m('.content', vnode.attrs, [mark, line.items.flatMap(item => { switch (item.kind) { case 'Text': return Content.linkify(item.text, { @@ -393,8 +395,12 @@ let Buffer = { lastDateMark = dateMark } - lines.push(m('.time', {}, date.toLocaleTimeString())) - lines.push(m(Content, {}, line)) + let attrs = {} + if (line.leaked) + attrs.class = 'leaked' + + lines.push(m('.time', {...attrs}, date.toLocaleTimeString())) + lines.push(m(Content, {...attrs}, line)) }) return m('.buffer', {}, lines) }, |