Community
Participate
Working Groups
The contents of the external tools menu (favorites and recent launches) does not update.
We should flag as dirty on the launchHistoryChanged and then on the next showing rebuild the menu. This should be pushed up into AbstractLaunchHistoryAction.
Fixed in ExternalToolMenuDelegate and AbstractLaunchHistoryAction. Please verify (Jared).
Verified.