Le bonjour a tous.
Je suis passé sur debian 12 et j’ai quelque petit problème que je n’arrive pas à résoudre
Sous débian 11 j’arrivais à réduire La barre supérieure (Barre plus fine) du terminal en agissant sur le fichier ~/.config/gtk-3.0/gtk.css
ce qui est bien pratique sur un portable.
le code:
headerbar {
padding: 0;
border-width: 0px;
font-size: 12pt;
min-height: 0px;
}
headerbar * {
margin: 0;
padding: 0;
border-radius: 0;
border-width: 0;
min-height: 0px;
}
headerbar box {
padding: 0.1em 0.5em 0.1em 0.5em;
}
mais cela ne fonctionne pas sur debian 12
ai je voudrais savoir aussi si on pouvait le faire sur les autres onglets
(nautilus, éditeur de texte, application, logiciel, etc …
Merci de vos réponses.