L'editor Java fornisce vari comandi per la barra degli strumenti e la barra dei menu del workbench.
Pulsante o Comando |
Comando |
---|---|
![]() |
Mostra l'origine completa/solo origine dell'elemento selezionato |
![]() |
Mostra/Nascondi testo a comparsa |
![]() ![]() |
Vai al problema successivo/precedente |
Modifica > Apri su selezione
|
|
Modifica > Apri gerarchia dei tipi |