This fixes an issue where gnome-terminal uses the memory GSettings backend and does not persist settings across sessions.