ignore_request_hide_titlebar je rozšíření GNOME Shell, která zajistí titulku nebude skrytý, když jsou okna nejvyšší.Pro instalaci tohoto rozšíření musíte mít GNOME Shell nainstalován nebo Cinnamon. . Mějte však na paměti, že to nebyl testován s skořicí ...