What is this font from Eglot’s github example gifs?
reddit / emacs

----------------------------------------------------------------------
Lonely_Ad375 · 2022-11-12 11:07



----------------------------------------------------------------------
Lonely_Ad375 · 2022-11-12 11:50

Thanks