you have to do the `workspace.refreshbutton` when ...
# tornadofx
r
you have to do the
workspace.refreshbutton
when using the WorkspaceApp class