Valentin Golev

я сделал, чтобы обрезало на 200 символах, надеюсь, пойдет пока. спасибо за информацию

just in case someone needs something now, my temporary, very hacky solution is along the lines of ``` let keyPressHandler code = ... let handler e = runUI window $...

it's your event handler, a function `a -> UI ()`

sorry, yes. in this case it's going to be `String -> IO ()` because I pick the code from the event, but you'll have to tweak it to your needs

if github API doesn’t return it with the list of PR, then yes, I suppose. In this case one might only enable it for a particular filter, e.g. for their...

> we should craft the event again and push it back in the real dom. from my (maybe flawed) testing in the chrome console, synthetic events still manage to have...

also seeing this for a big grid