Anri/confOS
1
0
Fork 0
Code Issues 23 Pull requests Projects Releases Wiki Activity

fix pdfjs annotation

Browse source
This commit is contained in:
Mylloon 2022-10-06 15:32:42 +02:00
parent 5496cbaac3
commit d06e18e487
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.mozilla/firefox/user.js
View file

@ -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.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.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.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", "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.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 user_pref("browser.urlbar.shortcuts.bookmarks", false); // cacher le bouton marque-pages de la barre URL lors d'une recherche
@ -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("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("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.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