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) -- 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/873952 Title: Embedded terminal does not automatically respawn To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/873952/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
