[Pharo-dev] could the size of Playground be reduced a bit

March 25, 2015


      Because it is a bit large now even on a 27 inch screen.

stepharo