You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Quando avremo un po' di più respiro, secondo me andrebbe modificato lo script e il comando \glossario in modo che sia possibile dare sia il termine che la definizione come argomenti.
Andrebbero anche gestiti di conseguenza i conflitti (più definizioni per lo stesso termine) ma è una cosa abbastanza facile da implementare attraverso cli
E bisognerebbe dare nel json un rimando a DOVE è stato definito il termine (file, riga, colonna) in modo da permetterne modifiche a posteriori
invece di:
{
"LETTERA":{
"termine":"definizione"
}
}
fare una cosa del tipo:
{
"LETTERA": {
"Termine": {
"definition": "....",
"file": "<path del file da cui proviene il termine",
"line": "<numero della linea da cui proviene il termine>"
}
}
}
e/o altri metadati rilevanti
andrebbe anche aggiunto un json schema del file generato
The text was updated successfully, but these errors were encountered:
Quando avremo un po' di più respiro, secondo me andrebbe modificato lo script e il comando \glossario in modo che sia possibile dare sia il termine che la definizione come argomenti.
Andrebbero anche gestiti di conseguenza i conflitti (più definizioni per lo stesso termine) ma è una cosa abbastanza facile da implementare attraverso cli
E bisognerebbe dare nel json un rimando a DOVE è stato definito il termine (file, riga, colonna) in modo da permetterne modifiche a posteriori
invece di:
fare una cosa del tipo:
e/o altri metadati rilevanti
andrebbe anche aggiunto un json schema del file generato
The text was updated successfully, but these errors were encountered: