Community
Participate
Working Groups
1) In your plug-in create a new extension point 2) Decide you don't want that extension point There is no remove/delete button. The delete key does work.
Created attachment 173168 [details] Patch
Fixed in HEAD
Verified.