method undo = let b = file#buffer in if b#can_undo then begin self#set_scroll_on_change; b#undo (); self#unset_scroll_on_change; end