Re: How is this bar called

[Emmanuele Bassi <ebassi gmail com>]

On 2 September 2017 at 19:41, Sascha Manns <Sascha Manns mailbox org> wrote:
> Hello list,
>
> i've uploaded there a little picture: https://i.imgur.com/JGojgO4.png
>
> How is that bar called?

It's a GtkHeaderBar.

> Do we have a documentation about modifying that bar?

You don't "modify" it: you design it along with the rest of your application.

You call look at the GNOME human interface guidelines for patterns:
https://developer.gnome.org/hig/stable/patterns.html.en

Ciao,
 Emmanuele.

-- 
https://www.bassi.io
[@] ebassi [@gmail.com]