search

m-fleury / isabelle-emacs

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

cursor flickering between line and rectangle in insertion mode #70

Open gh-salt opened 2 years ago

gh-salt commented 2 years ago

Using spacemacs, when in insertion mode, the cursor seems to switch randomly between a bar (expected) or a rectangle (as in default mode)