swr1bm86/vscode-idris

New lines are incorrect for some multi-line hints

Opened this issue · 0 comments

varosi commented

Steps to reproduce

  1. Hover over "putStrLn"

image