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