Hầu hết các trình soạn thảo sử dụng lịch dạng tuyến tính (stack) cho undo/redo. Tuy nhiên, vi sử dụng mô hình 'cây' (tree). Hãy giải thích lý thuyết đằng sau việc cho phép phân nhánh trong lịch sử undo. Điều này giúp người dùng xử lý các tình huống chỉnh sửa sai sót như thế nào so với undo tuyến tính thông thường?