Usage of the string '#' index notation incorrectly highlights as if it was a choice option line

The # operator can be used to both denote choice options and to extract characters from a string.
It looks like I didn't consider the second case when defining the the basic themes/tokenization.


Inizia individuando i temi/le regole di tokenizzazione di base che classificano le righe che iniziano con #, quindi riproduci l’evidenziazione mostrata nell’issue. Aggiorna la classificazione in modo che # usato per la notazione dell’indice di stringa non venga trattato come un’opzione di scelta, mentre le righe delle opzioni di scelta mantengano la loro evidenziazione; verifica entrambi i casi nella vista dell’editor pertinente.

Scritto dal modello di indicizzazione a partire dal testo della issue.