fix(agda): preserve input method in evil normal mode#8670

kovan wants to merge 1 commit into

doomemacs:masterdoomemacs/core:masterfrom

kovan:fix/agda-evil-input-methodkovan/doomemacs:fix/agda-evil-input-methodCopy head branch name to clipboard