add f9 shortcut about gundotree in operation