jueves, 31 de agosto de 2017

Más cambios (y más demoras en ZinjaI)

Hace ya al menos tres semanas que estoy "a punto de" publicar una nueva versión. Pero como últimamente cada vez que cambio algo refactorizo una buena parte para arreglar o esconder errores del pasado, siempre termino con mucho código nuevo por probar y un ZinjaI inestable. Entonces se demora la release, pero durante la demora agrego algo más, y se hace un círculo vicioso. Finalmente, decidí cortar. Falta testing, pero [creo que] no voy a agregar nada más. Hoy les cuento qué hay de nuevo y qué queda para después.

miércoles, 23 de agosto de 2017

Mini-mapas en ZinjaI

En los últimos tiempos he visto cómo se ha popularizado una funcionalidad entre los editores de texto modernos: el mini-mapa, una vista en miniatura del código fuente. Se supone que sirve para ir rápidamente a alguna parte del archivo. Hasta ahora pensaba que agregar eso en ZinjaI iba a ser muy complicado, pero hace unos días encontré una idea muy simple en un foro.