Looking a bit into the near future: gnome-terminal 3.27.90, released in a week, is most likely going to receive a big change to the Preferences dialogs (https://bugzilla.gnome.org/show_bug.cgi?id=722114).
I've already prepared porting the transparency patch, except for this part. I have no intention to port a code that's buggy by design and hence necessarily buggy by implementation. I'll skip the offending part in my patch and just unconditionally show the second config option too. ** Bug watch added: GNOME Bug Tracker #722114 https://bugzilla.gnome.org/show_bug.cgi?id=722114 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1745825 Title: Crash in "gnome-terminal --preferences" due to downstream patch To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1745825/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
