ide: change default contents of workspace, and pre-select it