search

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

spaceline (on spacemacs) not displayed when using isabelle #46

Closed gh-salt closed 3 years ago

gh-salt commented 3 years ago

Using emacs 26.1 with spacemacs, the spaceline disappears as soon as an isabelle file is opened.

workaround: switch to emacs27 (it will also be much faster!) or disable fci-mode when launching emacs. To do so, comment the following lines in packages.el

(add-hook 'isar-mode-hook
         (lambda ()
           (progn
             (setq fill-column 100)
             (spacemacs/toggle-fill-column-indicator-on))))