ignore_request_hide_titlebar è un'estensione GNOME Shell che farà in modo che la barra del titolo non sarà nascosto quando le finestre sono massimizzati.Per installare questa estensione è necessario avere installato GNOME Shell o cannella. . Tuttavia,...