Because this bug has been open for years and the Dashboard plugin doesn't work, I have made it so that it is no longer built in Ubuntu 18.10.
** Bug watch added: GNOME Bug Tracker #727251 https://bugzilla.gnome.org/show_bug.cgi?id=727251 ** Changed in: gedit-plugins Importance: Medium => Unknown ** Changed in: gedit-plugins Status: Invalid => Unknown ** Changed in: gedit-plugins Remote watch: GNOME Bug Tracker #739759 => GNOME Bug Tracker #727251 ** Changed in: gedit-plugins (Ubuntu) Status: Confirmed => Triaged ** Changed in: gedit-plugins (Ubuntu) Importance: Undecided => Medium ** Bug watch added: Debian Bug tracker #881395 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881395 ** Also affects: gedit-plugins (Debian) via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881395 Importance: Unknown Status: Unknown -- 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/1281169 Title: Dashboard plugin doesn't work To manage notifications about this bug go to: https://bugs.launchpad.net/gedit-plugins/+bug/1281169/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
