I still have not :( you don't need to do any modif...

# tornadofx

[thomasnield]

I still have not :( you don't need to do any modifications to Tornado FX for this. Just need a quick hack if possible...