C'est en fait l'application qui a été codée pour utiliser GtkHeaderBar ; ce nouveau widget remplace la barre de titre habituelle et jouant avec des "hints" du gestionnaire de fenêtres.
Le problème est effectivement que ça n'a pas de sens sous les DE non-GNOME, ni sous Win32, ni sous OS X. Or, depuis GTK 3.12 de mémoire, GtkHeaderBar est utilisé même par les applications de base :-|.
Une solution serait de patcher GtkHeaderBar pour avoir un comportement "natif" -en gros détecter qu'elle n'est pas sous GNOME, réafficher une barre native, et éventuellement dessiner ses widgets custom dans un espace en-dessous.. Mais j'ignore si ce serait accepté par GNOME.
[^] # Re: GNOME et le gestionnaire de fenêtre
Posté par Tarnyko (site web personnel) . En réponse au journal De Xfce à KDE, merci Gnome.... Évalué à 4.
C'est en fait l'application qui a été codée pour utiliser GtkHeaderBar ; ce nouveau widget remplace la barre de titre habituelle et jouant avec des "hints" du gestionnaire de fenêtres.
Le problème est effectivement que ça n'a pas de sens sous les DE non-GNOME, ni sous Win32, ni sous OS X. Or, depuis GTK 3.12 de mémoire, GtkHeaderBar est utilisé même par les applications de base :-|.
Une solution serait de patcher GtkHeaderBar pour avoir un comportement "natif" -en gros détecter qu'elle n'est pas sous GNOME, réafficher une barre native, et éventuellement dessiner ses widgets custom dans un espace en-dessous.. Mais j'ignore si ce serait accepté par GNOME.