Done, and I've added a link to the upstream bug. I'm going to remove the bug's attachments, as they are not useful, and make the bug public.
** Bug watch added: gitlab.gnome.org/GNOME/gedit-plugins/issues #14 https://gitlab.gnome.org/GNOME/gedit-plugins/issues/14 ** Also affects: gedit-plugins via https://gitlab.gnome.org/GNOME/gedit-plugins/issues/14 Importance: Unknown Status: Unknown ** No longer affects: gnome-terminal (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/1866565 Title: Enabling the embedded terminal plugin crashes GEdit and subsequently prevents GEdit to start b/c of missing key in GSettings schema To manage notifications about this bug go to: https://bugs.launchpad.net/gedit-plugins/+bug/1866565/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs