Re: [platform-ui-dev] Migrate key preferences to new version of plugin w

[Paul Webster <pwebster@xxxxxxxxxxxxxxxxxxx>]

Except how is your migration manager able to "see" the old definitions?  You must still have the commands defined, right?  As long as that is true, your best bet is to change their names to "Whatever (deprecated)" and migrate the keybindings.  Then in your next release don't provide the old commands.

re: deleting commands. Commands aren't deleted, but they can be undefined.  After you've removed the Bindings for the commands you want to get rid of, you could try org.eclipse.core.commands.Command.undefine() (I'm not 100% sure of what it'll do though).

But ... they are defined by the runtime system after reading the extension points.  They can be added back if something causes the system to re-read the extensions.

PW

--
Paul Webster
Hi floor.  Make me a sammich! - GIR