Hello list, a small question about font size: in one of my computers the font in the patch is bigger than in the others. That happens in the same patch with the same settings. Is this behavior known? Pd vanilla (it happens with any version I install), windows 10. Best, jmmmp