Leggermente fuori tema, dato che succede anche con il “vecchio” editor, ma ho notato che quando trascino l’editor su e giù, questo segue il mouse con un certo ritardo e l’animazione risulta più scattosa.
Guarda il video a 0.25× la velocità per capire meglio a cosa mi riferisco.
Sospetto che sia un limite di JS/browser e che non ci sia molto da ottimizzare facilmente?
Mi piacerebbe vedere gli elementi dell’interfaccia reagire quasi istantaneamente e animati a 60 fps.
A parte questo, dopo aver usato il nuovo editor per qualche giorno, è semplicemente migliore. Ha alcuni “difetti” su cui tutti sono d’accordo (separazione markdown/anteprima, titolo…), ma nel complesso è un miglioramento molto bello per qualcosa che credo sia difficile da migliorare. Quindi, ottimo lavoro 