¿Funciona la propiedad de texto “Tamaño de fuente” de Mayavi?

¿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 tags 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 fonts 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?

Acabo de descargarlo, lo instalé y parece que tengo el mismo problema. En Windows 8 ahora mismo. Este es probablemente un error.