Original issue 169 created by janniklaval on 2014-10-20T09:59:27.000Z:
the font characters in the bricks are too small
>
>>> you can change it in settings. Then in settings Phratch click on the
> button launch to refresh the display.
It is not clear to the user which font to change. I try various changes
in the Pharo font settings without success/.
Original issue 169 created by janniklaval on 2014-10-20T09:59:27.000Z:
the font characters in the bricks are too small > >>> you can change it in settings. Then in settings Phratch click on the > button launch to refresh the display.
It is not clear to the user which font to change. I try various changes in the Pharo font settings without success/.