[Pharo-project] additional font size?

Hi! Apparently, the 1.2 image contains only the size 7, 9 and 12 for Bitmap DejaVu Sans. Can we get additional font sizes? Are there a vectorial font police supported in Pharo? I would like to be able to give any arbitrary font size. Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.