user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 075d6fe6e4e258fb39d4f53ecf6ad04dd30fd0a0
parent 4604cf0d4ebc0aef81a89bbb971461018ed68370
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Fri, 11 Jan 2019 05:09:14 +0000

2615: s/cut keys: bug fix in 66+
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1306,7 +1306,7 @@ user_pref("middlemouse.contentLoadURL", false); user_pref("network.http.redirection-limit", 10); /* 2615: disable websites overriding Firefox's keyboard shortcuts [FF58+] * 0 (default) or 1=allow, 2=block - * [NOTE] At the time of writing, causes issues with delete and backspace keys + * [NOTE] In FF65 and under, causes issues with delete and backspace keys (see 1445942) * [SETTING] to add site exceptions: Page Info>Permissions>Override Keyboard Shortcuts ***/ // user_pref("permissions.default.shortcuts", 2); /* 2616: remove special permissions for certain mozilla domains [FF35+]