https://tutorial-idris.blogspot.com/2019/05/menambahkan-fungsi-undo-redo-find-dan.html