¿Hay un error en la representación de la fuente de Mayavi que impide cambiar el tamaño de la fuente? Estoy utilizando la GUI de Mayavi2 para cambiar el tamaño de fuente de las etiquetas de eje en un gráfico volumétrico.

Para llegar allí, voy a: Escena -> Campo escalar -> Colores y leyendas -> Ejes -> Texto de etiqueta (pestaña) -> Tamaño de fuente

Cambiar este número no afecta el tamaño de las fuentes en la imagen. ¿Es esto un error conocido? No he visto ninguna referencia a ella en Google. ¿Cómo cambias el tamaño del texto en tus figuras de mayavi?