New lines are incorrect for some multi-line hints - Githubissues

zjhmale / vscode-idris

Idris for Visual Studio Code

https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris

BSD 3-Clause "New" or "Revised" License

106 stars 21 forks source link

New lines are incorrect for some multi-line hints #117

Open varosi opened 7 years ago

varosi commented 7 years ago

Steps to reproduce

Hover over "putStrLn"