[Pharo-dev] Pharo needs you

Hi guys We are working like mad on the mooc and I'm stuck because to produce cool videos I cannot get the correct fonts because the widgets are not using font size :( Look at the attachment. This is how one day we pay our sloppiness. So I will reduce the font size but it sucks. Stef