method end_of_line = let b = file#buffer in let it = b#get_iter `INSERT in let (l,_) = location_of_iter it in self#set_location (l,max_int)