El editor Java proporciona varios mandatos a la barra de herramientas y la barra de menús del entorno de trabajo.
Botón o mandato |
Mandato |
---|---|
![]() |
Mostrar fuente completo/Mostrar fuente sólo del elemento seleccionado |
![]() |
Mostrar/ocultar texto flotante |
![]() ![]() |
Ir al problema siguiente/anterior |
Editar > Abrir en la selección
|
|
Editar > Abrir jerarquía de tipos |