Milán Nagy
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.  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...