General workspace settings.