@manderson Can you file an issue for that and I’ll look at it?

@joshkh Hehe, I’ve seen that one before, but I can’t find an issue or anything in the mailing list about it.

@rafael Yes, I still haven’t updated the doc on that, sorry.

@timgilbert There’s no support yet, but I definitely want to add it soon.

Thanks @cfleming. I did a quick search of the current issues and found a ticket for this already: https://github.com/cursive-ide/cursive/issues/1156. The reproduction referenced in the ticket is almost exactly our issue too.

@manderson Ouch, that one’s old. I’ll try and fix that soon.