Jump handler
cpitclaudel opened this issue · comments
Hey there.
Can you add the following somewhere to declare the jump handler? Thanks!
(spacemacs|define-jump-handlers fstar-mode (fstar-jump-to-definition :async t))
Done ! Thanks for the snippets @cpitclaudel :)