So I got Command Shell from the configuration browser in Pharo 3 and it looks like it ignores the font size I have set in preferences , why ? The font it uses is too tiny I can barely make the letters, anyone else with same issue ?