Closed IllustratedMan-code closed 2 years ago
Steps to reproduce:
Have both COQ and telescope projects plugin installed. Have COQ set to autostart. Visit a telescope project using the telescope picker. Visit a python file. Hit enter in insert mode.
Sister issue in COQ repository here
looks like this is not telescope related after all. Closing
Steps to reproduce:
Have both COQ and telescope projects plugin installed. Have COQ set to autostart. Visit a telescope project using the telescope picker. Visit a python file. Hit enter in insert mode.
Sister issue in COQ repository here