method reload =
let g () =
let f () = file#load_file file#filename in
if file#buffer#modified then
Ed_misc.confirm self#minibuffer
"Buffer was modified; revert anyway ?" f
else
f ()
in
Some g