diff options
| -rw-r--r-- | extension/background.js | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/extension/background.js b/extension/background.js index 370e106..179a2b8 100644 --- a/extension/background.js +++ b/extension/background.js @@ -344,6 +344,24 @@ router["/tabs/by-id/*/control"] = { }, async truncate({path, size}) { return {}; } }; +router["/tabs/by-id/*/active"] = { + // echo true > mnt/tabs/by-id/1644/active + // cat mnt/tabs/by-id/1644/active + async read({path, fh, offset, size}) { + const tabId = parseInt(pathComponent(path, -2)); + const tab = await browser.tabs.get(tabId); + const buf = (JSON.stringify(tab.active) + '\n').slice(offset, offset + size); + return { buf }; + }, + async write({path, buf}) { + if (buf.trim() === "true") { + const tabId = parseInt(pathComponent(path, -2)); + await browser.tabs.update(tabId, { active: true }); + } + return {size: stringToUtf8Array(buf).length}; + }, + async truncate({path, size}) { return {}; } +}; // debugger/ : debugger-API-dependent (Chrome-only) (function() { |