L'editor Data explorer non mantiene la posizione del cursore

[sam (Sam Saffron)]

Grazie per questo eccellente bug report, lo risolveremo la prossima settimana!