make fix of #56 optional

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

Other

25 stars 5 forks source link

make fix of #56 optional #59

Closed gh-salt closed 2 years ago

gh-salt commented 2 years ago

Currently, the workaround of #58 is for all spacemacs users, but it is not needed for everyone, so it should be optional. (This is a reminder for our next debug meeting)