-
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 7e3a494f
ba0542dc