vscode-idris icon indicating copy to clipboard operation
vscode-idris copied to clipboard

Published 20 hours ago • verified publisher icon zjhmale

New lines are incorrect for some multi-line hints

Open varosi opened this issue 7 years ago • 0 comments

Steps to reproduce

  1. Hover over "putStrLn"

image

varosi avatar Jul 26 '17 11:07 varosi