I recently installed KNIME 2.12 on my Mac and today I realized that the overall font size is bigger (compare to my old KNIME 2.11). I don't know if the font size was bigger from the beginning on. I realized it today.
The Knime.ini is exactly the same for both installations.
I've attched a screenshot showing parts of both KNIME-installations.
Is there any setting which I might have changed by accident?