max397574

I think this should be closed now that TextEditor got merged?

can't you change the timeout?

@griwes @jamestrew any updates on this?