ignore_request_hide_titlebar is een GNOME Shell-extensie die zal ervoor zorgen dat de titelbalk zal niet worden verborgen wanneer de ramen worden gemaximaliseerd.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in...