Ubuntu
gedit-plugins package

  1. Bug #1281169
  2. Comment #5

Comment 5 for bug 1281169

Revision history for this message
Jeremy Bícha (jbicha) wrote :

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.