Casillas pequeñas V1
Uso de casillas de control pequeñas para los valores booleanos, al estilo de GeoGebra 4
Cuando queremos casillas de control más pequeñas que las que ofrece GeoGebra, una opción es cambiar su tamaño por defecto en el propio applet. Se puede hacer modificando el archivo geogebra.xml, pero no es lo más cómodo y el cambio se pierde con el primer clic en el botón deshacer 
de la barra de herramientas.
En esta construcción se usa JavaScript para cambiar el tamaño por defecto de 26 a 13 en el archivo geogebra.xml. El código que lo hace se ejecuta al iniciar la construcción y cada vez que se crea un punto de restauración (al insertar, cambiar, borrar, mover, etc. cualquier objeto). Se usa para ello un listener creado con la instrucción 
de la barra de herramientas se sigue perdiendo el cambio de tamaño y las casillas de control vuelven a ser grandes. Cualquier acción posterior, al crear un nuevo punto de restauración, lo vuelve a activar.
Hay una solución mejorada aquí en la que se usa un listener distinto para detectar las pulsaciones sobre el botón deshacer.
de la barra de herramientas.
En esta construcción se usa JavaScript para cambiar el tamaño por defecto de 26 a 13 en el archivo geogebra.xml. El código que lo hace se ejecuta al iniciar la construcción y cada vez que se crea un punto de restauración (al insertar, cambiar, borrar, mover, etc. cualquier objeto). Se usa para ello un listener creado con la instrucción registerStoreUndoListener de JavaScript, que detecta la creación de esos puntos de restauración y ejecuta el mismo código con cada uno.
Problema: Al hacer clic en el botón deshacer de la barra de herramientas se sigue perdiendo el cambio de tamaño y las casillas de control vuelven a ser grandes. Cualquier acción posterior, al crear un nuevo punto de restauración, lo vuelve a activar.
Hay una solución mejorada aquí en la que se usa un listener distinto para detectar las pulsaciones sobre el botón deshacer.