Hola,
Menú -> Windows -> Preferences -> General -> Editors -> Text editors
Pero, nota que si tienes instalados algunos plugins, por ejemplo, PDT, para PHP, este se "adueña" de cierto tipo de archivos, y tendrás que mirar en las preferencias de los editores de texto, ya no generales, sino del plugin en cuestión: todo está en la ventana de preferencias.
|