2016-12-01 10:19 GMT+01:00 Esteban Lorenzano <esteba...@gmail.com>: > yes please. > this is a “first impressions count”: no api change but UI change that > makes our lives a bit better and pharo a bit cooler :) > > So: active by default, opening a the box in preferences. >
+1
