Fork me on GitHub
#cursive
<
2018-01-10
>
cfleming10:01:27

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

cfleming10:01:12

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

cfleming10:01:33

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

cfleming10:01:50

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

manderson14:01:23

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.

cfleming23:01:32

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