After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 604743 - [manager] Hide invisible plugins in the plugin manager UI
[manager] Hide invisible plugins in the plugin manager UI
Status: RESOLVED FIXED
Product: gedit-plugins
Classification: Other
Component: General
unspecified
Other All
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on: 604742
Blocks: 604830
 
 
Reported: 2009-12-16 16:06 UTC by Bastien Nocera
Modified: 2019-03-23 20:33 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
[manager] Hide invisible plugins in the plugin manager UI (1022 bytes, patch)
2009-12-16 16:06 UTC, Bastien Nocera 		committed Details | Review

Description Bastien Nocera 2009-12-16 16:06:19 UTC 
SSIA
Comment 1 Bastien Nocera 2009-12-16 16:06:21 UTC 
Created attachment 149844 [details] [review]
[manager] Hide invisible plugins in the plugin manager UI
Comment 2 Steve Frécinaux 2009-12-24 07:50:04 UTC 
Committed a slightly different version of the patch here.