search

notaapp / talk

Issues and discussions for the notes app, Nota.
https://nota.md
59 stars 1 forks source link

Support changing Coding font #16

Open Overload119 opened 3 years ago

Overload119 commented 3 years ago

This is to reach parity with Caret. From what I can tell you can only change the Editor font.

astoilkov commented 3 years ago

Do you want to set a custom font or just have a variety of predefined fonts?

Overload119 commented 3 years ago

Custom. JetBrains Mono with ligatures for example.

On Fri, Sep 18, 2020, 1:42 AM Antonio Stoilkov notifications@github.com wrote:

Do you want to set a custom font or just have a variety of predefined fonts?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/notaapp/issues/issues/16#issuecomment-694739338, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHXC2BY7NLEEY5DPRBTVGTSGMMOBANCNFSM4RQTIC5Q .

stepankuzmin commented 5 months ago

Hey all!

Just chiming in. It seems that Nota doesn't currently support ligatures. At least, I couldn't find how to set it up with the Fira Code. Are there any plans to support ligatures?

astoilkov commented 5 months ago

Our editor implementation currently has problems with ligatures. In the past, we've looked at how we can improve on this but didn't find an easy way. We will probably investigate more in the future.

stepankuzmin commented 5 months ago

I see! Thanks for the quick response and the product overall! :)