** Package changed: gnome-terminal (Ubuntu) => gtk+3.0 (Ubuntu)
** Summary changed:
- gnome-terminal-server crashed with SIGSEGV in g_type_check_instance_is_a()
+ gnome-terminal-server and mate-terminal crash when setting keyboard shortcuts
** Tags removed: vivid
** Tags added: bionic xenial
Same here, shortcut keys editing in the preferences.
gnome terminal 3.24.2
Ubuntu 18.04
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1438014
Title:
gnome-terminal-server
On a terminal, choosing preferences... and modifying some shortcut keys
on "Artful Aardwark" distro
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1438014
Title:
** Tags added: bugpattern-needed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1438014
Title:
gnome-terminal-server crashed with SIGSEGV in
g_type_check_instance_is_a()
** Information type changed from Private to Public
** Changed in: gnome-terminal (Ubuntu)
Importance: Medium => High
** Description changed:
I put my laptop to sleep for an hour or so; when I restored it, gnome-
terminal had crashed. It did not do this the previous time I suspended
my