Is there a bug in the Mayavi font rendering that prevents changing the font size? I am using the Mayavi2 GUI to change the font size of the axis labels on a volumetric plot.
I've just downloaded, and installed it, and I seem to be having the same problem. On Windows 8 right now. This is probably a bug.