Benjamin Cosman
Benjamin Cosman
IIRC we agreed on this behavior after discovering that LH sometimes generated fq files with missing WFs. I can make LF reject and see if any LH tests break?
One source of orphaned kvars is `slice` - it removes all irrelevant constraints and wfcs but does _not_ remove the corresponding irrelevant kvars from any binders. So if we want...
I was using it to define superspan: x is a superspan of y if (combineSrcSpans x y) == x. So for this purpose, anyway, I'd want the symmetric functionality described...
I agree, that's the best way to handle it.
One key thing I need to know as an uninformed user is if the file I just edited was synced or not. Neither the current error nor "File was saved,...
I am confused - when I initially brought up this issue on Slack, I was told "Just to reassure you on the key point, this is not preventing unrelated changes...
I'll do that in the future; thanks! For folks who do not use this though, I wonder if one of the three options above might be a better default than...
The disabling was working fine; I was referring to a second click after the (sometimes quite fast) page reload, or other ways that a duplicate wrong answer might get submitted...