no, it's still affected: Preparing to unpack …/gedit-developer-plugins_1.1.0+661-0~gdp~ubuntu13.10.1_all.deb ... Unpacking gedit-developer-plugins (1.1.0+661-0~gdp~ubuntu13.10.1) over (0.5.15-0ubuntu1) ... Настраивается пакет gedit-developer-plugins (1.1.0+661-0~gdp~ubuntu13.10.1) … # gedit Traceback (most recent call last): File "/usr/lib/gedit/plugins/gdpformat.py", line 25, in <module> from gdp.format import Formatter File "/usr/lib/gedit/plugins/gdp/format.py", line 30, in <module> from pocketlint.formatdoctest import DoctestReviewer ImportError: No module named 'pocketlint'
(gedit:11520): libpeas-WARNING **: Error loading plugin 'gdpformat' (gedit:11520): Gtk-WARNING **: Calling Inhibit failed: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name org.gnome.SessionManager was not provided by any .service files -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1374297 Title: Plugins cannot be activated from preferences -> plugins To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit-developer-plugins/+bug/1374297/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs