-
Matthias Clasen authored
gnome-terminal is still using this setting, so we'll let applications override it for another cycle. It is no longer backed by a system-wide setting, though, and it will still go away eventually. This partically reverts b26c74e5
fac8d6de