Erik Martin-Dorel
Erik Martin-Dorel
Hi @Lysxia, thanks for opening this! I was precisely planning to work on #210 in the next weeks as this interactive feature is definitely missing (basically we need to do...
@jwiegley could you test whether this PR #342 indeed fixes your reported issue #233 ?
> It does solve it, but now PG is very "jumpy". Hi @jwiegley, which commit did you test ? Because FYI the commit ecd39d515ef6a92c8202d90e27456994dcbb87b4 of this PR wasn't supposed to...
To sum up, do you confirm that the small patch of #342 (proposed by @psteckler just before his leaving) fixes your \*goals\* issue (regarding the hypotheses that were scrolled out...
OK I just saw your other report #346 (thanks for your feedback!) so I assume you tested the current branch async with patch #342 applied; I'll just wait for your...
@jwiegley thanks for your reply, but just to be sure: > I'm testing current `master` with #342 applied. I guess you mean current `async` with #342 applied, don't you? :)...
I've just marked this PR as ready for review since all the blocking changes we wanted to address for the first version of "learn-ocaml + editor" are completed; @leunam217 also...
I've just rebased a few commits to avoid a spurious merge
FYI I'll be able to finalize the "Generate" feature involved in this PR when #302 is merged.
Hi @yurug, I've just seen that you updated this PR #295; would you have some plan to suggest? As far as I am concerned, here is what I had in...