Préférences de la console


La commande Préférences... permet d'obtenir la page des préférences Ouvre la page des préférences Console Exécuter/Déboguer > Console.

Option de menu Préférences de la console


Concepts connexes

Vues Java
Perspectives Java

Référence connexe

Vue Console
Options de menu contextuel