Milán Nagy

Results 86 comments of Milán Nagy

Attempting to work around the issue with this: ```js let pressMap = {} let onKey = fn => { gkm.events.on('key.*', async function([key]) { if (this.event == "key.typed") return if (this.event...

Wonderful! I'm looking forward to a version that works with v2! I would really like to be able to click a link like `/path/to/file.js:123` and have it open in my...

Hello @yamafaktory, And how about with GHC (+webkitgtk, I presume) instead of GHCJS?

I've submitted another comment that was based on a misunderstanding of mine that I've deleted since then. If you got notified of it, then sorry about the noise. And I...

I've found a workaround for now: ```bash $ ghcid -c "ghci Main.hs" -T ":main --color -o ghcid-output.txt" -o ghcid-output.txt ``` Although it's not exactly ideal since hspec's `-o` redirects to...

Oh, and I found another shortcoming of the workaround: `print`, `trace`, et al don't get written to the output file.

I'm now seeing this comment of yours, and I admit I don't fully remember my motivation for this ticket. If I gather correctly, it might have had to do with...

I have also ran into this issue under WSL. Trying to run with `+RTS -I0` gives `ghcid: Most RTS options are disabled. Link with -rtsopts to enable them.` So I...

I've recompiled GHCid with `-rtsopts` from master and ran it with `+RTS -I0`; no discernible change in CPU usage. ![image](https://content.screencast.com/users/W1z3k/folders/Jing/media/2cefbf54-077d-4a62-bc96-4e982744a196/2018-08-29_0242.png) I've also tried `+RTS -S`, and like @tomjaguarpaw, I get...

I can quickly comment that I dimly remember having observed the same high CPU use with `--poll` as well. Maybe I can try `--poll 100` to verify that the CPU...