Rename Workspace

Es posible asignar diferentes nombres a cada uno de los espacios de trabajo (workspaces). Estando activo el workspace que se desea renombrar, acceder a la opción Workspace > Rename Workspace... desde el menú principal de la aplicación, e ingresar el nuevo nombre en el cuadro de diálogo. Luego presionar el botón OK.