Closed andymatuschak closed 3 years ago
Eh, this doesn't seem to be as high priority right now. Better to just make a disable/skip button, I think, at least for now, though I'll certainly have to deal with this at some point. I'd like to be able to deal with it more elegantly than by what I had in mind here.
Oof.