diff options
author | Omar Rizwan <omar.rizwan@gmail.com> | 2019-02-28 01:22:33 -0800 |
---|---|---|
committer | Omar Rizwan <omar.rizwan@gmail.com> | 2019-02-28 01:22:33 -0800 |
commit | bc3b35487dbc6353887cb6ede278a0a3eb33612b (patch) | |
tree | 7b0018c78260e9dd67203666ef2364a9be8974f6 /extension/background.js | |
parent | 840526a17e252bba9ce283d2947a65d695c7f9b7 (diff) |
extension: Change some names.
Diffstat (limited to 'extension/background.js')
-rw-r--r-- | extension/background.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extension/background.js b/extension/background.js index c02d8d5..750e8a9 100644 --- a/extension/background.js +++ b/extension/background.js @@ -115,7 +115,7 @@ const router = { return (tab.title + "\n").substr(offset, size); } }, - "text": { + "document.body.innerText.txt": { async read(path, fh, size, offset) { const tabId = parseInt(pathComponent(path, -2)); if (!debugged[tabId]) { @@ -128,7 +128,7 @@ const router = { return result.value.substr(offset, size) } }, - "tree": { + "resources": { async opendir(path) { const tabId = parseInt(pathComponent(path, -2)); if (!debugged[tabId]) { |