Ondřej Weis

@sickill since it is possible to use custom fonts in JavaScript, how hard would it be to use that feature in the server? I am not a web dev, but...

@MrWormHole in the linked issue asciinema/asciinema-player#140 someone linked a [blog post](https://www.tonylykke.com/posts/2018/06/18/custom-fonts-in-asciinema/) on how to fix this if you are self-hosting and it looks like the squares are expected: |[![Custom Fonts...

@MrWormHole I disagree - if we could afford ~750kB `mesloNF.woff` (current fonts directory is 1.2MB) then that would allow supporting any Powerline or NerdFont recording since all the extra glyphs...

Hi @alstr, I am not sure what you mean by adding the issue number as a comment. Like would the TODO always create an Issue but link the issue as...

Oh, so like to make a comment authored by the person who provided the authentication token? I guess that would work, though I am not sure how hard it would...

Btw. I would like to match TODOs with [this regex](https://regex101.com/r/DtZajJ/1): ```Python r'TODO\s*(\(([^()]*)\))?:(\s+#(\d+))?' ``` Group 2 is "reference" and group 4 is the Issue number. It could be generalized to match...

Maybe policemen could set a new temporary HIE directory (`-hiedir`) in `.policeman-evidence` and also make sure that the GHC version it needs is used for compilation (`--with-compiler`). In my case,...

Hi @michaelmesser, this is a known limitation of the **`hls-eval-plugin`**. My understanding of the plugin is that it runs in the same process as HLS, so you can not easily...

> Actual behaviour > ``` > >>> getLine > "Content-Length: 191\r" > ``` Btw. is the string stolen from the input sent to HLS and making it close the connection?...

Hi @Jashweii, thanks for the bug report. :slightly_smiling_face: The issue seems to be with `ghcide` which provides the completion. I wrote a test case in PR #2838, but I have...