User-Agent: Opera/9.24 (X11; Linux i686; U; de) Build Identifier: I have a custom ~/.local/share/Terminal/Terminal.ui, which seems to be ignored by the latest version of Terminal (0.2.8). Reproducible: Always Steps to Reproduce: 1. Create/Modify the file mentioned. Actual Results: The settings are being ignored. Expected Results: They should not.
Yep, see bug #3522.
(In reply to comment #1) > Yep, see bug #3522. So this means I won’t ever be able to customize Terminal’s interface again? A bad decision from my POV.