-%% Translation of GIT committish: 6e4e9c4eacb94d68c11fd6b9062da4f724114860
+%% Translation of GIT committish: 3c907f2dd5ba3dd91e30454922d8361225ca28d5
texidocit = "
I numeri di battuta possono essere resi visbili a intervalli regolari
attraverso la proprietà @code{barNumberVisibility}. In questo esempio