ShinKage
commented
2 years ago - Avoid opening the split panel on non idris2 files
- Add a popup option for the split panel. It behaves the same as the default popup handler, i.e. closing on every cursor movement or insert.