AlexD97
AlexD97
> Yes, I added it in 1.3.1. I've also recently fixed drawing the background to be drawn like on a normal window. That fix has not been released yet. >...
Does font detection work now on NixOS? For me, it does not work. Edit: With @7sDream's fork, at least the fonts that are not managed by home-manager are detected.
As I've already commented, more fonts are recognized with your fork. More specifically, the fonts that are installed “directly” through nix are recognized. The fonts that are managed by home-manager...
@7sDream Thanks! The fork works nicely on my machine (now, even fonts that are installed through home-manager are recognized).
The problem with org-mode-only is that agda does not play very well with org mode: there is no syntax highlighting in src blocks. Since htmlize works well with any buffer...
I wanted to have the possibility to export regions of an Agda buffer to a latex file. The problem was/is that engrave-faces creates a new buffer where the syntax highlighting...
Unfortunately not, since the syntax highlighting is somehow lost when invoking `engrave-faces-latex-buffer`.
What details do you need?
I have the same problem. Is there already any solution?