From bc3b35487dbc6353887cb6ede278a0a3eb33612b Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Thu, 28 Feb 2019 01:22:33 -0800 Subject: [PATCH] extension: Change some names. --- extension/background.js | 4 ++-- 1 file 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]) {