Menu
▾
▴
#15 Configuración
El editor debe permitir configurar fácilmente distintos parámetros, entre otros:
Paleta de colores
Ubicación del motor Coq y archivos de configuración
Ubicación de aplicaciones de soporte
Ubicación de documentación y manuales
El editor debería permitir además cargar scripts de arranque coqrc e incluso permitir configurar fácilmente estos scripts.
Discussion
Anonymous
El editor no permite cargar scripts de arranque coqrc ni configurar fácilmente estos scripts.