Emmanuel Schanzer

CodeMirror actually has an add-on for this: https://codemirror.net/doc/manual.html#addon_search It uses an overlay that can be hidden when not in use, so it's actually pretty UI-friendly. This came up in a...

Arg, I should have brought this up on the call with Ben and Joe today. This is actually going to be increasingly urgent as more teachers use CPO for Algebra....

I finally had a chance to dig through the WeScheme codebase (which is more familiar to me). You're right -- we do not need this array. At one point I...

@sorawee , given that the grey layer is no longer present, OK to close?

Ooof - sorry, total brainfart on my end.

Whoa. This whole time I thought there was just a partially transparent masking DIV, and the problem was just janky z-indexing! That's a nice fix to a 7 year old...

If `big-bang` is deprecated, are we keeping this open?

@jpolitz I hope the answer is yes, since table display would be amazing here

@blerner and @jpolitz is this still an issue?

@sorawee I don't suppose this issue magically resolved itself in the last 6 years, has it? ;)