Fix the updates to the 'Developer Tools' menu item.
Fix the updates to the 'Developer Tools' menu item.

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm