Gnome Terminal Darkmode

Mensen die de Gnome Desktop omgeving gebruiken zijn waarschijnlijk wel bekend met de “Quick Toggle” om tussen light-mode en dark-mode te schakelen. Wat ze waarschijnlijk ook weten is hoe het theme van de standaard Gnome Terminal niet mee veranderd met deze keuze.