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"/>
...