Différences

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

--- pratique:informatique:config_firefox [12/01/2022 12:19] – [Hacker le thème de Firefox] Zatalyz
+++ pratique:informatique:config_firefox [18/03/2022 10:09] (Version actuelle) – Zatalyz
@@ Ligne 22: / Ligne 22: @@
 Ma version actuelle :
-<code css>
+<code css userChrome.css>
 /* Import your desired components first */
 @import url(chrome/tabs_on_bottom.css);
-/* Onglet courant */
+/* Onglets améliorés */
+.tab-content {
+	margin: 0 !important;
+}
 .tab-background{
   outline: none !important;
@@ Ligne 33: / Ligne 38: @@
   box-shadow: none !important;
   background-clip: padding-box;
-  margin: 0 !important;
+  margin-bottom: 0 !important;
   padding: 0 !important;
+  background-color: rgba(0, 0, 0, .3);
+  border-radius: 1em 1em 0 0 !important;
 }
 .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;
 }
 .tab-background[selected] > .tab-context-line {
-	margin: -5px 0 0 !important;
+  margin-top: -3px !important;
 }
 </code>
+===== Modifier l'explorateur de fichiers par défaut  =====
+En fait c'est probablement un souci générique plus que propre à Firefox.
+  * [[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>