Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
pratique:informatique:config_firefox [12/01/2022 12:18] Zatalyzpratique:informatique:config_firefox [18/03/2022 10:09] (Version actuelle) Zatalyz
Ligne 12: Ligne 12:
     * 5: désactivation explicite du DNS par HTTPS     * 5: désactivation explicite du DNS par HTTPS
   * ''editor.resizing.enabled_by_default'' : à changer pour permettre de redimensionner les images à la main (comme dans le plugin TinyEditor de Pluxml). Éviter de modifier si y'a pas besoin.    * ''editor.resizing.enabled_by_default'' : à changer pour permettre de redimensionner les images à la main (comme dans le plugin TinyEditor de Pluxml). Éviter de modifier si y'a pas besoin. 
 +
 +<WRAP center round info 60%>
 +Chercher les occurrences de "cloudflare" dans about:config et nettoyer.
 +</WRAP>
  
 ===== Hacker le thème de Firefox ===== ===== Hacker le thème de Firefox =====
Ligne 18: Ligne 22:
  
 Ma version actuelle : Ma version actuelle :
-<code>+<code css userChrome.css>
 /* Import your desired components first */ /* Import your desired components first */
  
 @import url(chrome/tabs_on_bottom.css); @import url(chrome/tabs_on_bottom.css);
  
-/* Onglet courant */+/* Onglets améliorés */ 
 + 
 +.tab-content { 
 + margin: 0 !important; 
 +
 .tab-background{ .tab-background{
   outline: none !important;   outline: none !important;
Ligne 29: Ligne 38:
   box-shadow: none !important;   box-shadow: none !important;
   background-clip: padding-box;   background-clip: padding-box;
-  margin: 0 !important;+  margin-bottom: 0 !important; 
   padding: 0 !important;   padding: 0 !important;
 +  background-color: rgba(0, 0, 0, .3);
 +  border-radius: 1em 1em 0 0 !important;
 } }
  
 .tab-background[selected]{ .tab-background[selected]{
-  outline: none !important; 
-  border: none !important; 
-  box-shadow: none !important; 
-  background-clip: padding-box; 
-  margin: 0 !important; 
-  padding: 0 !important; 
   border-radius: 1em 1em 0 0 !important;   border-radius: 1em 1em 0 0 !important;
 } }
 +
 .tab-background[selected] > .tab-context-line {  .tab-background[selected] > .tab-context-line { 
- margin: -5px 0 0 !important; +  margin-top: -3px !important; 
 } }
- 
 </code> </code>
  
-<WRAP center round info 60%> +===== Modifier l'explorateur de fichiers par défaut  ===== 
-Chercher les occurrences de "cloudflare" dans about:config et nettoyer+En fait c'est probablement un souci générique plus que propre à Firefox
-</WRAP>+  * [[https://www.linuxtricks.fr/news/10-logiciels-libres/436-changer-l-explorateur-de-fichiers-par-defaut-sous-linux/|Changer l'explorateur de fichiers par défaut sous Linux]]
  
 +En résumé :
 +<code>xdg-mime query default inode/directory
 +xdg-mime default thunar.desktop inode/directory application
 +xdg-mime query default inode/directory</code>
CC Attribution-Noncommercial-Share Alike 4.0 International Driven by DokuWiki
pratique/informatique/config_firefox.1641986321.txt.gz · Dernière modification : 12/01/2022 12:18 de Zatalyz