Small fix to the ToolBox in WorkspaceView which was growing too much