search

leanprover-community / lean4-mode

Emacs major mode for Lean 4
https://leanprover.github.io/
Apache License 2.0
55 stars 27 forks source link

Adding evil keybindings #32

Open lenianiva opened 1 year ago

lenianiva commented 1 year ago

Is it possible to bundle evil keybindings into this package? I made some keybindings for the existing commands (doomemacs)

(map! :after lean4-mode
    :localleader
    :map lean4-mode-map
    :desc "Execute"               "R" #'lean4-execute
    :desc "Execute in standalone" "r" #'lean4-std-exe
    :desc "Toggle info buffer"    "t" #'lean4-toggle-info
    (:prefix ("e" . "Error")
        :desc "Previous error"      "p" #'flycheck-previous-error
        :desc "Next error"          "n" #'flycheck-next-error
        :desc "List error"          "l" #'flycheck-list-errors
        )
    :desc "Lake build"            "b" #'lean4-lake-build
    (:prefix ("p" . "leanpkg")
        :desc "Test"                "t" #'lean4-leanpkg-test
        :desc "Build"               "b" #'lean4-leanpkg-build
        :desc "Configure"           "c" #'lean4-leanpkg-configure
        )
    )
urkud commented 12 months ago

Can you prepare a pull request? I guess, the less work you leave to maintainers, the higher the probability of getting it merged. What do other packages do about configurability of evil keybindings?