Cut: |
Tagliare il testo
selezionato. Il testo rimane nel clipboard. |
Copy: |
Copiare il testo
selezionato. |
Paste: |
Incollare il
contenuto del clipboard. |
Reload text: |
Ricaricare il testo. |
Font: |
Cambiare le
proprietà del font (stile, colore, grandezza, nome) |
Simplified input: |
L'input semplificato funziona
per latino, greco ed ebraico. Per greco si può usare il
Beta Code. Si può accendere l'output ad alta voce. |
Language tools: |
Gli strumenti linguistici
contengono strumenti per la traduzione e frequenze di
lemmi (v. "Language tools"). |
Switch to text: |
Posiziona il cursore nella
finestra del testo e dei risultati (a destra) |
Switch to index: |
Posiziona il cursore nella
finestra del indice (a sinistra) |
New position: |
Con questo menu si può scegliere
una nuova posizione entro il testo visualizzato. |