Estoy usando Eclipse 3.7 en Ubuntu. A menudo, después de editar un archivo, no puedo guardarlo - la opción "guardar" aparece atenuada en el menú y Ctrl + s parece que no hace nada, aunque el archivo acaba de modificarse y el editor muestra el asterisco antes del nombre del archivo en el encabezado de la pestaña.La opción para guardar un archivo está atenuada en Eclipse
Cambiar la pestaña activa a otro archivo y luego volver al primer archivo "desbloquea" la opción guardar, que luego puedo elegir.
¿Qué causa este comportamiento y cómo puedo solucionarlo?
Mismo problema aquí, usando i3 como administrador de ventanas. Ocurre solo después de usar una sugerencia de corrección de errores. – echox
Ok, arreglado en la última rama de desarrollo en i3 y ahora funciona para mí. Parece un problema del gestor de ventanas ... – echox
Interesante, tengo un problema similar con e17 windowmanager, que no está muy acostumbrado. @Oak: ¿estás usando un raro wm? – fanf42