Ubuntu
gedit-developer-plugins package

Advanced search

Gedit Developer Plugins also tracks bugs for this package.

1 → 1 of 1 result First • Previous • Next • Last
Undecided
Confirmed
#1374297 Plugins cannot be activated from preferences -> plugins
gedit-developer-plugins (Ubuntu) 20
1 → 1 of 1 result First • Previous • Next • Last

"gedit-developer-plugins" versions published in Ubuntu

Bionic (0.5.15-0ubuntu1): universe/gnome
Xenial (0.5.15-0ubuntu1): universe/gnome
Trusty (0.5.15-0ubuntu1): universe/gnome