Workspace löschen

Ein Workspace muss in den seltensten Fällen gelöscht werden, da sich ja jede Falscheingabe korrigieren lässt. Muss man es dennoch einmal tun, dient der kleine Mülleimer links unten im Fenster "Workspace verwalten" diesem Zweck.