file-menu:open-callback in drscheme:frame:basics-mixin
This method is called when the open menu-item of the file-menu menu is selected.
(voidsenda-drscheme:frame:basics-mixinfile-menu:open-callbackitemevt
item: (instance (derived-frommenu-item%))
evt: (instancecontrol-event%)Calls
handler:edit-file.