All pull requests

Pull requests

• Add which-key support

  #33·fbrosda opened Nov 9, 2024·

  ·
  8

• Add devil-exit-key for easy exit from repeating commands

  #32·fbrosda opened Nov 8, 2024·

  ·

• Add highlight while repeatable mode is active

  #31·fbrosda opened Nov 8, 2024·

  ·

• Autoload devil-set-key and devil-describe-key

  #29·matta opened Jul 22, 2024·

  ·

• Fix errors in devil-repeatable-keys

  #25·morganwillcock opened Jan 28, 2024·

  ·
  1

• Add optional repeat suppression

  #24·morganwillcock opened Jan 28, 2024·

  ·