Public bug reported:
Earlier in the Ubuntu 17.10 cycle, GNOME Builder's Terminal plugin was
disabled because the patches needed to build against Ubuntu's vte2.91
(without pcre2) need to be rebased.
Now that those patches have been rebased, we should enable the Terminal
plugin again.
Although there was a build flag for disabling the Terminal plugin,
upstream considers the Terminal plugin essential functionality.
** Affects: gnome-builder (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1722953
Title:
Builder 3.26: Re-enable terminal plugin
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-builder/+bug/1722953/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
