Dec. 1, 2016
10:27 a.m.
2016-12-01 10:19 GMT+01:00 Esteban Lorenzano <estebanlm@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