I didn't have time to deal with it just then, and ...

# tornadofx

[edvin]

I didn't have time to deal with it just then, and I see that the problem domain is even larger than we discussed. People might have different preferences as to what should happen on focus lost etc. I didn't even find a good hook to implement it without overriding the editor, so I need to think about that some more.