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));