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