Les applications plus classiques ont une barre de titre et une barre de menu, voir même une barre d'outils pour un accès rapide aux fonctionnalités principales, il y a donc quand même un gain de place ?
Oui si la header bar est utilisé pour y mettre des boutons et que ça permet de ne pas mettre de barre de menu. Sauf qu'en pratique ça ne concerne que les applications GTK3 et que ça parait en plus compliqué pour de grosse applications de productivité d'arriver à se passer d'un menu traditionnel. Donc au final cette barre de titre est souvent grosse.... pour rien.
Je parle bien de comportement par défaut car on me dira qu'on peut configurer Plasma pour cacher la barre de menu et/ou la barre d'outil. Mais, à partir de là, si on est prêt à configurer un peu, côté GNOME Shell, il y a des thèmes qui ont des header bar plus petites.
Oui il suffit d'aller modifier le bon CSS ou changer de thème. Mais bon pas fan du bricolage. Les thèmes sont rarement bien fini.
[^] # Re: Stable mais
Posté par ff9097 . En réponse à la dépêche GNOME 3.36 à la cool. Évalué à 3.
Oui si la header bar est utilisé pour y mettre des boutons et que ça permet de ne pas mettre de barre de menu. Sauf qu'en pratique ça ne concerne que les applications GTK3 et que ça parait en plus compliqué pour de grosse applications de productivité d'arriver à se passer d'un menu traditionnel. Donc au final cette barre de titre est souvent grosse.... pour rien.
Oui il suffit d'aller modifier le bon CSS ou changer de thème. Mais bon pas fan du bricolage. Les thèmes sont rarement bien fini.