search

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

Prettify symbols #29

Closed zjhmale closed 7 years ago

zjhmale commented 7 years ago

Note for contribution to https://github.com/siegebell/vsc-prettify-symbols-mode.

philipcraig commented 7 years ago

We may not need this. Developers can have this by installing Hasklig font, then turning on ligatures in the editor. Certainly, it looks great for me already

philipcraig commented 7 years ago

Also on this point, the Haskell extension here https://github.com/hoovercj/vscode-ghc-mod somehow honours the Editor.fontLigatures setting when it shows the types on hover, but this one doesn't. It would be great if this extension honoured the setting

zjhmale commented 7 years ago

@philipcraig Thx! I'm also thinking about not to use the prettify symbol because it may introduce some unpredictable behavior. I also use Hasklig myself 😄

zjhmale commented 7 years ago

Cool, I will figure out how to support fontLigatures on hover, thx for reporting 😄

zjhmale commented 7 years ago

Close via https://github.com/siegebell/vsc-prettify-symbols-mode/pull/26