[Bug 873935] Re: The embedded terminal is not using the default gnome terminal profile
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 Desktop Bugs, which is subscribed to gedit-plugins 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: https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/873935/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 873935] Re: The embedded terminal is not using the default gnome terminal profile
** 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 terminal profile To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/873935/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 873935] Re: The embedded terminal is not using the default gnome terminal profile
-- 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: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/873935/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs