open-here in frame:open-here<%>
(-> voidsenda-frame:open-hereopen-herefilename)
filename: stringOpens
filenamein the current frame, possibly prompting the user about saving a file (in which case the frame might not get switched).
open-here in frame:open-here<%>
( -> void
send a-frame:open-here open-here filename)
filename : string
Opens filename in the current frame, possibly
prompting the user about saving a file (in which case the
frame might not get switched).