I recently switched to IDEA 5.0 (actually 5.0.2) and today I realized that the local history menu is not there anymore. When I go to the Settings panel and click on "Local History", the "Enable Local History" checkbox is selected. But there is nothing in the tools menu. Where on earth did you put the Local History menu? I urgently need to undo some changes.