From d06e18e48767ad98af1df632c414f8dae2c73ba2 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Thu, 6 Oct 2022 15:32:42 +0200 Subject: [PATCH] fix pdfjs annotation --- .mozilla/firefox/user.js | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.mozilla/firefox/user.js b/.mozilla/firefox/user.js index 9bf219c..137b960 100644 --- a/.mozilla/firefox/user.js +++ b/.mozilla/firefox/user.js @@ -6,7 +6,10 @@ user_pref("browser.tabs.closeWindowWithLastTab", false); // ne pas fermer le nav user_pref("browser.tabs.loadBookmarksInBackground", true); // ne pas changer d'onglet quand on clique de la molette sur un marque-page user_pref("browser.toolbars.bookmarks.visibility", "always"); // barre des marques pages affichés sur toutes les pages user_pref("browser.download.always_ask_before_handling_new_types", true); // demander s'il faut ouvrir ou enregistrer les fichiers -user_pref("browser.search.hiddenOneOffs", "Google,Amazon.fr,Bing,DuckDuckGo,eBay,Qwant,Wikipédia (fr)"); // cacher les boutons navigateurs de la barre URL lors d'une recherche +user_pref( + "browser.search.hiddenOneOffs", + "Google,Amazon.fr,Bing,DuckDuckGo,eBay,Qwant,Wikipédia (fr)" +); // cacher les boutons navigateurs de la barre URL lors d'une recherche user_pref("browser.urlbar.placeholderName", "DuckDuckGo"); // moteur de recherche par défaut user_pref("browser.urlbar.placeholderName.private", "DuckDuckGo"); // moteur de recherche par défaut en navigation privée user_pref("browser.urlbar.shortcuts.bookmarks", false); // cacher le bouton marque-pages de la barre URL lors d'une recherche @@ -14,7 +17,7 @@ user_pref("browser.urlbar.shortcuts.history", false); // cacher le bouton histor user_pref("browser.urlbar.shortcuts.tabs", false); // cacher le bouton onglets de la barre URL lors d'une recherche user_pref("browser.warnOnQuitShortcut", false); // ne pas alerter lorsque l'on quitte plusieurs onglets user_pref("devtools.responsive.viewport.height", 760); // taille de l'inspecteur -user_pref("devtools.responsive.viewport.width", 340); // taille de l'inspecteur +user_pref("devtools.responsive.viewport.width", 340); // taille de l'inspecteur user_pref("devtools.toolbox.host", "right"); // position de l'inspecteur user_pref("dom.security.https_only_mode", true); // HTTPS only user_pref("datareporting.healthreport.uploadEnabled", false); // télémétrie @@ -22,4 +25,4 @@ user_pref("extensions.formautofill.creditCards.enabled", false); // pas d'auto-c user_pref("media.eme.enabled", true); // lire le contenue protégé par des DRM user_pref("findbar.highlightAll", true); // tout surligné lors d'une recherche user_pref("pdfjs.sidebarViewOnLoad", 0); // ne pas affiché la table des matières par défaut dans les PDFs -user_pref("pdfjs.annotationEditorEnabled", true); // permet d'annoté les PDFs +user_pref("pdfjs.annotationEditorMode", 0); // permet d'annoté les PDFs