Until now, we don't use any gsettings keys from GNOME 3.x. It might be possible that the terminal plugin will check gsettings keys of gnome- terminal in the future but in that case it would just fail gracefully if those are not found.
But I cannot speak for glade/devhelp here. But good to know that it is at least available in the "official" ppa for now. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/700505 Title: Update anjuta to 2.91.x release -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
