<@U0F3291QE> I don't want it to cover the whole do...

# tornadofx

[kastork]

@edvin I don't want it to cover the whole docked workspace view so I set a preferred width. But if a person wants to drag it out further to make it wider, I'd like to let them do that