switch case kind menu in Espruino?

hi, still fighting with it ;) could you tell me how to change font size ;)

ok, I've got it, it was in the graphic library, g.setFontVector(..);
every day I see more and more how easy Espruino is ;)