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 | |
| parent | 840526a17e252bba9ce283d2947a65d695c7f9b7 (diff) | |
extension: Change some names.
| -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]) { | 
