Que sí, que podemos descargar las aplicaciones en local o subirlas al Git... pero nos da pereza borrar y el número de carpetas en el workspace comienza a crecer. Yo soy muy cutre, y tengo una carpeta llamada "Almacén de aplicaciones" para mover ahí las aplicaciones y borrarlas del workspace general.
Pues ahora tenemos una nueva solución: En la última actualización del Web IDE (podemos ver las cosicas nuevas de marzo de 2018 en este vídeo), nos encontramos con una mejora interesante: La posibilidad de tener varios workspaces. Y para eso, vamos a tener acceso a una nueva herramienta: el Workspace Manager.
Entiendo que la idea de esta función es poder tener un workspace específico para cada tipo de aplicación: un workspace para aplicaciones HTML5 y uno o varios para aplicaciones multitarget (MTA, que podrían ser aplicaciones Java, módulos HDB. extensión de servicios S/4HANA o una combinación de varios). Aunque también nos va a permitir tener uno para, por ejemplo, aplicaciones de prueba y test y otro para desarrollos "reales", ¡hasta donde nos lleve la imaginación!
