On Wed, 10 Jun 2015 09:40:07 -0300 Juan Vuletich <juan at jvuletich.org> wrote: > After some comments on squeak-dev, I made some punctuation marks > slightly larger and easier to see at mid-small font point sizes. Juan, Thanks much for this! More than once I have been puzzled in debugging as my old eyes had trouble noting the difference between #, and #. ! Cheers, -KenD