Community
Participate
Working Groups
Without that flag the command and handlers will remain in the IDE, even if the user removes the plug-in.
New Gerrit change created: https://git.eclipse.org/r/149657
Gerrit change https://git.eclipse.org/r/149657 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.tools.git/commit/?id=00ca284c147c830b905a3cec260e744e4b27db91