Tamas Papp, thank you for reporting this bug and helping make Ubuntu better.
The issue you are reporting is an upstream one. Could you please report this
problem to them via
https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-terminal :
Component: general
Version: 3.14.x
Severity: Critical
OS: Linux
Please provide a direct URL to your report once you have made it so that
it may be tracked.
Thank you for your understanding.
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Medium
** Changed in: gnome-terminal (Ubuntu)
Status: New => Triaged
--
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/1401192
Title:
gnome-terminal crashes on editing preferences
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401192/+subscriptions
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
