Guida dell'utente di Extra! > Sessioni di terminale > Input dell'utente > Barre degli strumenti > Editor della barra degli strumenti > Apertura di una barra degli strumenti esistente

Apertura di una barra degli strumenti esistente

  1. Nel menu Visualizza, scegliere Barre degli strumenti.

    Apparirà la finestra di dialogo Impostazioni, con la categoria Barre degli strumenti selezionata e verrà visualizzato l'elenco degli schemi di barre degli strumenti disponibili. È possibile selezionare più barre degli strumenti da caricare durante una sessione.

  2. Selezionare una barra degli strumenti dall'elenco.

  3. Scegliere il pulsante Modifica.

    oppure

    Fare doppio clic sulla barra degli strumenti da modificare.

    L'Editor della barra degli strumenti viene eseguito e visualizza la barra degli strumenti selezionata.