Many of the 'File' menu entries are now disabled when the execution lock is on.
Authored by: bugman 2011-08-06
Parent: [r14201]
Child: [r14203]
