These are chat archives for codexa/firetext

19th
Feb 2015
Joshua Smith
@joshua-s
Feb 19 2015 04:13
Do you have any ideas?
Joshua Smith
@joshua-s
Feb 19 2015 04:22
The raw editor should be reset by line 507 of io,js
Daniel Huigens
@twiss
Feb 19 2015 04:37
I suspect it has something to do with CodeMirror being hidden at that time
Maybe editor.focus() on switching tabs?
Joshua Smith
@joshua-s
Feb 19 2015 04:38
To solve the issue, or as an additional improvement?
Daniel Huigens
@twiss
Feb 19 2015 04:39
Both, no idea if it will work though
Joshua Smith
@joshua-s
Feb 19 2015 04:39
Ok, I'll try it tomorrow
Sorry for the delay
Daniel Huigens
@twiss
Feb 19 2015 04:39
Np