J’ai remarqué récemment par hasard (je suis sous Gnome 3.10) que pour une fenêtre maximisée, cliquer-glisser à partir de la barre noire en haut d’écran a exactement le même comportement que cliquer-glisser la barre de titre, ce qui signifie que fonctionnellement, cette barre noire peut être manipulée comme la barre de titre d’une application qui n’en a pas (ou qui est polluée par autre chose, comme une barre d’adresse par exemple).
Ça marche aussi pour les fenêtres semi-maximisées (moitié d’un écran).
ce commentaire est sous licence cc by 4 et précédentes
[^] # Re: Depuis GNOME 3.12
Posté par Thomas Debesse (site web personnel, Mastodon) . En réponse à la dépêche GNOME 3.12 : sans domicile. Évalué à 4.
J’ai remarqué récemment par hasard (je suis sous Gnome 3.10) que pour une fenêtre maximisée, cliquer-glisser à partir de la barre noire en haut d’écran a exactement le même comportement que cliquer-glisser la barre de titre, ce qui signifie que fonctionnellement, cette barre noire peut être manipulée comme la barre de titre d’une application qui n’en a pas (ou qui est polluée par autre chose, comme une barre d’adresse par exemple).
Ça marche aussi pour les fenêtres semi-maximisées (moitié d’un écran).
ce commentaire est sous licence cc by 4 et précédentes