• [^] # Re: Commentaire sur le dev

    Posté par . En réponse à la dépêche Sortie de it-edit (Integrated Terminals Editor) 2.91. Évalué à 2.

    J.R.P (J'ai rien piger) pour être franc ???

    Je pense qu'il propose d'utiliser GtkHeaderBar plutôt que garder une barre d'outil pour maximiser l'espace disponible pour l'édition de code.

    Si tu ne vois pas ce qu'est la GtkHeaderBar :

    https://mail.gnome.org/archives/nautilus-list/2013-July/pngfbDNKCypx9.png

    Merci de prendre le commentaire ci-dessus avec: un peu de recul, le premier degré, et si possible le second !