< edvin> Should I we add the extension function `dockOnSelec kotlinlang #tornadofx

<@U0F3291QE> Should I we add the extension functio...

nimakro

05/20/2017, 3:03 PM

@edvin Should I we add the extension function

dockOnSelect

to the workspace or rather not?