What is the font in eglot's gifs?
reddit / emacs

----------------------------------------------------------------------
[deleted] · 2022-11-11 05:53

[removed]