SPC jgives access to some avy commands (notably avy-timer on
SPC j j), which is fine. On the other hand,
g sopens a evil-easymotion drawer, where evil-avy commands can be found (
g s SPCis buffer-evil-avy-goto-char-timer, for example). What's the point of having these commands under so different drawers? There surely must be a justification...
, d t t
@dalanicolai Thank you! It did not actually solve it, since using `:local' in that situation requires the package to have been part of a layer which was not the case for me. I resorted to just explicitly listing the path as: (PKG_NAME :location "~/.spacemacs.d/local/PKG_NAME/") just so I could keep everything localised in my .spacemacs.d directory.
(add-hook 'agda2-mode-hook 'centaur-tabs-local-mode))in my
dotspacemacs/user-config, but that disables tabs in files in the agda mode, rather than disabling tabs in the Agda Information buffer