method connect_buffer_events =
      ignore(file#buffer#connect_modified_changed
       (Oo.id self)
         (fun () -> self#display_modified; self#my_set_label));
      ignore(file#buffer#connect_cursor_moved
       (Oo.id self)
         (fun () -> self#on_cursor_moved));