Aplicación: Tamaño casilla control

Canviar el tamaño de las casillas de control

La versión actual de GeoGebra (5.0.119) no permite modifcar el tamaño de las casillas de control, ni adecuarlo al tamaño de la letra. Su tamaño nos puede parecer demasiado grande respecto el texto. Si queremos reducir el tamaño de las casillas de control podemos editar el archivo geogebra.xml y canviar el tamaño de 26 a 13 en la propiedad checkboxSize de la etiqueta evSettings. ... <euclidianView> <viewNumber viewNo="1"/> <size  width="1355" height="588"/> <coordSystem xZero="215.0" yZero="315.0" scale="50.0" yscale="50.0"/> <evSettings axes="false" grid="false" gridIsBold="false" pointCapturing="3" rightAngleStyle="1" checkboxSize="13" gridType="0"/> ...
Image