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: gedit (Ubuntu) => gedit-plugins (Ubuntu) ** Changed in: gedit-plugins (Ubuntu) Importance: Undecided => Wishlist -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to 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: https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/873935/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
