diff options
author | Jan Pokorný <jpokorny@redhat.com> | 2014-04-10 14:00:15 +0200 |
---|---|---|
committer | Jan Pokorný <jpokorny@redhat.com> | 2014-04-10 14:00:15 +0200 |
commit | b975a3ad50177fedd46588c9376a9dbfeb32ff46 (patch) | |
tree | bd2d3569ae9509acb15a94cbe0d72e93982e8df6 | |
parent | dc8a1fb5fd33a3dac3ac544b6816d7dbbdb80143 (diff) | |
download | dotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.tar.gz dotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.tar.xz dotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.zip |
Firefox settings: kill "Gnome Shell Integration" with fire of the fox
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
-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 |