Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 08-02-2019 11:26:27

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Salut a tous

Je m'adresse a celui qui utilise cette astuce ou qui desire l'utiliser
et comparer nos configurations pour voir si on peut obtenir un resultat meilleur
Ce n'est pas un probleme qui demande solution mais davantage un partage
Je suis tres satisfait de la hauteur de la barre de titre par exemple.
Pour les onglets je suppose qu'il y a mieux

La hauteur de la barre de titre du terminal et des onglets sont beaucoup trop importantes
C'est le cas pour d'autres logiciels aussi
Elles pourraient être réduites de moitié, ce qui serait plus avantageux sur des écrans de portables
Deux lignes de code en plus ça compte
Avez-vous tenté cette opération ?
(Les onglets ne sont pas réduits ici, dommage, je vous aurais montré une capture d'écran)

https://stackoverflow.com/questions/368 … e-terminal

Il faut modifier/creer le fichier ~/.config/gtk-3.0/gtk.css avec ces lignes
Les couleurs des onglets du terminal passent mal chez moi, peut-etre a cause du thème Dark

A noter que lancer une application graphique depuis le terminal laisse beaucoup de messages d'erreurs dans le terminal
Il est necessaire de recourir a la redirection vers /dev/null pour les eviter

Si quelqu'un a mieux que le code suivant je suis interesse, merci smile

@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

#TerminalWindow .notebook tab:active {
#   border: 1px solid @border-grey;
#   background-color: #f5f4f3;
#   foreground-color: #000000;
#}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

#TerminalWindow .notebook tab {
#   background-color: #a2a1a0;
#   foreground-color: #1e1d1c;
#}

#TerminalWindow .notebook tab {
#        padding: 2;
#        background-color: #6e6e6e;
#}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

TerminalWindow.background {
        background-color: #6e6e6e;
        color: #000000;
}

TerminalWindow .notebook tab:active {
        background-color: #d1d1d1;
    color: black;
    font-weight: bold;
}

window.ssd headerbar.titlebar {
  border: none;
  background-image: linear-gradient(to bottom,
  shade(@theme_bg_color, 1.05),
  shade(@theme_bg_color, 0.99));
  box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
}

Dernière modification par Allain (08-02-2019 14:37:01)

Hors ligne

#2 08-02-2019 11:56:18

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : debian 10
Noyau : Linux 4.19.0-2-amd64
(G)UI : gnome 1:3.22+12
Inscription : 15-02-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Allain a écrit :

Salut à tous

La hauteur de la barre de titre du terminal et des onglets sont beaucoup trop importantes. C'est le cas pour d'autres logiciels aussi. Elles pourraient être réduites de moitié, ce qui serait plus avantageux sur des écrans de portables. Deux lignes de code en plus ça compte. Avez-vous tenté cette opération ?
(Les onglets ne sont pas réduits ici, dommage, je vous aurais montré une capture d'écran)

Il faut modifier/créer le fichier ~/.config/gtk-3.0/gtk.css avec ces lignes



Tu as une source pour être sûr que c'est à cet endroit qu'il faut modifier ? Tu veux réduire la taille des barres de titre, mais comme parallèlement tu ne réduis pas la taille des polices, tu pourrais te retrouver avec une police de la barre de titre plus grosse que la barre de titre. Je ne vois pas le mot font dans ton code. Tu balayes d'un revers de main les messages d'erreur peut-être à tort sans nous indiquer quels sont-ils alors que certains d'entre nous pourraient les interpréter pour t'aider dans ta démarche. Je laisse le clavier à d'autres pour poursuivre si ils peuvent apporter une critique constructive à ton projet. Bonne journée.

Hors ligne

#3 08-02-2019 12:00:16

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Bonjour Gilles,

Je partage une info et demande si quelqu'un a mieux
Pour les messages d'erreurs j'ai donné le truc, 2> /dev/null
Au pire je supprime le gtk-3.0.css et continue comme apres une installation d'origine
Je cherche seulement une solution pour ameliorer la lisibilite a l'ecran
Je deteste que ces elements prennent autant de place inutile
Autrement j'aime Gnome

Hors ligne

#4 08-02-2019 13:07:52

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : debian 10
Noyau : Linux 4.19.0-2-amd64
(G)UI : gnome 1:3.22+12
Inscription : 15-02-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Bonjour Allain. As-tu déjà positionné la résolution maximum disponible ? Paramètres -> Périphériques -> Écrans -> Résolution

Hors ligne

#5 08-02-2019 13:12:51

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Oui Gilles
1366*768

Hors ligne

#6 08-02-2019 13:46:59

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : debian 10
Noyau : Linux 4.19.0-2-amd64
(G)UI : gnome 1:3.22+12
Inscription : 15-02-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

En cherchant avec "how to reduce the height of the title bar with gnome?" Je trouve dans : https://searx.me/?q=how%20to%20reduce%2 … uage=en-US  des codes qui ressemblent à celui que tu avais trouvé, mais comme je l'ai expliqué réduire la taille des barre de titre des fenêtres sans réduire parallèlement la police de caractères qui est incluse dans cette même barre de titre est problématique. De plus, si certaine solutions fonctionnent plus ou moins avec telle version de gnome, rien ne dit qu'elle continueront à fonctionner avec la suivante.


Je cherche avec « affichage adapté aux portables avec gnome » display suitable for laptops with gnome
https://searx.me/?q=display%20suitable% … uage=en-US

Cela ne donne rien sauf l'utilitaire xrandr.

Dernière modification par --gilles-- (08-02-2019 13:53:33)

Hors ligne

#7 08-02-2019 13:54:08

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

C'est un fait que la taille de la police joue un role
Mais quand je vois la taille, il reste de la marge pour reduire leur hauteur

Hors ligne

#8 08-02-2019 14:45:49

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : debian 10
Noyau : Linux 4.19.0-2-amd64
(G)UI : gnome 1:3.22+12
Inscription : 15-02-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Je ne crois pas que s'arc-bouter sur des solutions un peu bout de ficelle nous mènera loin, je pense tout simplement qu'il manque à gnome une solution intégrée qui réglerait tous les aspects particuliers des contraintes de lisibilité et de taille concernant l'affichage spécifique des portables.

En particulier, je ne vois rien à ce sujet dans ce paquet spécifique:

aptitude show task-laptop

Paquet : task-laptop                                    
Version : 3.49
État: non installé
Priorité : optionnel
Section : tasks
Responsable : Debian Install System Team <debian-boot@lists.debian.org>
Architecture : all
Taille décompressée : 6144
Dépend: tasksel (= 3.49)
Recommande: avahi-autoipd, bluetooth, powertop, iw, wireless-tools, wpasupplicant
Description : ordinateur portable
 Ce paquet de tâche installe des logiciels utiles pour un ordinateur portable.
 



Pour moi, c'est un bug que de rien prévoir dans ce paquet concernant les besoins spécifiques d'affichage des portables et si tu as un niveau minimum d'anglais, je t'engage à déclarer un rapport de bug avec reportbug. https://wiki.debian.org/fr/reportbug  ceci d'autant plus qu'il n'y a aucun bug de déclaré avec ce paquet :

apt-listbugs -s all list show task-laptop

Récupération des rapports de bogue… Fait
Analyse des informations Trouvé/Corrigé… Fait
 

Hors ligne

#9 08-02-2019 16:15:14

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Pour moi ils doivent réviser GTK3
Croisons les doigts

J'aime l'austérite de GTK3 smile
Un écran vide et propre d'ou tu peux tout lancer depuis le clavier

Hors ligne

#10 08-02-2019 16:20:52

Frosch
Adhérent(e)
Lieu : Belgique
Distrib. : openSUSE & Void
Noyau : 4.20.2
(G)UI : Plasma & Xfce
Inscription : 09-12-2015

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

Allain a écrit :

Pour moi ils doivent réviser GTK3

Oublie, gtk4 est déjà en cours de développement wink


apt install anarchism

Hors ligne

#11 08-02-2019 16:22:30

Allain
Membre
Distrib. : Jessie 8.11 (VM) / Stretch 9.7 (VM) / Jessie 8.5 (
Noyau : Il changera encore
(G)UI : Gnome 3
Inscription : 30-07-2016

Re : Gnome 3 / GTK3 : reduire l'hauteur de la barre de titre et des onglets

GTK tout cours alors big_smile
Qu'ils fassent ca bien !

Hors ligne

Pied de page des forums