blob: 5bff6525782d2b893cfdb18298afd49930948164 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# 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.
## Icon Source
https://www.deviantart.com/transparentjiggly64/art/Blahaj-facing-sideways-989660804
|
