IDE: Ricerca nei wizard dei parametri

Descrizione

È ora possibile eseguire ricerche nei parametri dell'IDE e nei parametri di compilazione delle applicazioni.

Campo di ricerca che permette di filtrare i parametri.

Funzionalità interessate

La configurazione dell'IDE e delle applicazioni.

Note

• Il testo inserito viene cercato sia nei valori dei parametri di configurazione che nelle descrizioni degli stessi.
• Quando il testo viene svuotato Instant Developer ripristina la visibilità di tutti i parametri riaprendo la pagina che era aperta al momento dell'esecuzione della ricerca.