diff options
-rw-r--r-- | scripts/firstrun/10-firefox/pentadactylrc-firstrun | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/firstrun/10-firefox/pentadactylrc-firstrun b/scripts/firstrun/10-firefox/pentadactylrc-firstrun index 17b7fdb..818a1ce 100644 --- a/scripts/firstrun/10-firefox/pentadactylrc-firstrun +++ b/scripts/firstrun/10-firefox/pentadactylrc-firstrun @@ -106,3 +106,7 @@ set! noscript.autoAllow=1 "Greasemonkey set! extensions.greasemonkey.installDelay=0 + +"blacklist undesired(!) "Gnome-Shell Integration" plugin (why installed??!) +"higher level: https://wiki.mozilla.org/Extension_Blocklisting:Code_Design +set! plugin.state.libgnome-shell-browser-plugin=0 |