Documentazione di JSesh
Editor del Glossario
L'editor del glossario consente di creare gruppi precomposti (anche parole o frasi) e di recuperarli facilmente per una digitazione rapida.
Supponiamo di voler digitare l'articolo pꜣ nella sua forma ieratica, ovvero G41-A G41-A, semplicemente digitando "pA".
Ecco cosa devi fare:
digita il testo per il gruppo desiderato.
Selezionalo e richiama "Modifica/Aggiungi selezione al glossario".
Si apre la finestra dell'editor del glossario e tutto ciò che devi fare è digitare il codice che desideri utilizzare e quindi premere il pulsante "Aggiungi". Nota che il codice non deve contenere spazi né trattini: in questo caso non sarebbe possibile utilizzarlo.
Non appena il gruppo è stato aggiunto, è possibile inserirlo digitandone il codice, proprio come si digita il codice di un cartello. In questo caso specifico, poiché abbiamo usato "pA" come codice e "pA" consente di digitare G41 e G40, la barra spaziatrice consentirà di scorrere tutte le soluzioni.
Ulteriori informazioni
- Puoi rimuovere le voci cliccando sul pulsante "Rimuovi" che le segue nell'editor del glossario.
- Puoi aprire o chiudere l'editor del glossario utilizzando la voce di menu "Finestra/Glossario".