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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1745825 Title: Crash in "gnome-terminal --preferences" due to downstream patch Status in gnome-terminal package in Ubuntu: New Bug description: When gnome-terminal is _not_ running, execute the command gnome-terminal --preferences Select the Profiles tab, and click on Edit to edit whichever profile. gnome-terminal crashes. The main idea behind "gnome-terminal --preferences" is that if someone screws up their gnome-terminal configuration big time (e.g. set a custom command that fails), they can fix it. This crash makes it impossible using this convenient approach. The crash is not present in upstream gnome-terminal, it is caused by the transparency patch. 0001-Restore-transparency.patch adds this snippet to src/profile-editor.c: gtk_widget_style_get (GTK_WIDGET ( terminal_window_get_active (TERMINAL_WINDOW (transient_parent))), "background-darkness", &style_darkness, NULL); transient_parent is NULL in this case, and terminal_window_get_active() is not prepared for that. Crash is present in Artful (3.24.2-0ubuntu4) as well as current Bionic (3.26.2-3ubuntu1). Xenial is not affected because the cmdline option --preferences didn't exist back then. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-terminal 3.24.2-0ubuntu4 ProcVersionSignature: Ubuntu 4.13.0-32.35-generic 4.13.13 Uname: Linux 4.13.0-32-generic x86_64 ApportVersion: 2.20.7-0ubuntu3.7 Architecture: amd64 CurrentDesktop: Unity:Unity7:ubuntu Date: Sun Jan 28 11:51:23 2018 InstallationDate: Installed on 2016-11-09 (444 days ago) InstallationMedia: Ubuntu 16.10 "Yakkety Yak" - Release amd64 (20161012.2) SourcePackage: gnome-terminal UpgradeStatus: Upgraded to artful on 2017-09-21 (128 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1745825/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
