This bug is an upstream one and it would be quite helpful if somebody
experiencing it could send the bug the to the people writing the
software. You can learn more about how to do this for various upstreams
at https://wiki.ubuntu.com/Bugs/Upstream/GNOME. Thanks in advance!
** Package changed:
** Changed in: gedit (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/873935
Title:
The embedded terminal is not using the default gnome
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/873935
Title:
The embedded terminal is not using the default gnome terminal profile
To manage notifications about this bug go to: