blob: 338b5c0bc9ea2b75f981e07863f12d6bba87ad56 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# httptool
An extension that simply exposes the [browser.webRequest](https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/webRequest) APIs.
## Editing the script
Once installed, go to `about:extensions` -> httptool -> Preferences, then edit shit.
## Opening a larger (full-screen) editor
Press Alt+Backslash to re-open the editor in a new tab.
Note that if you have multiple editors open, whichever editor makes the most recent change is the one that gets saved.
## Applying Changes
Changes are autosaved on edit, however to apply them, you need to disable and re-enable the addon, or restart the browser. This is to prevent us from needing to handle unregistering & re-registering anything.
|
