[Pharo-dev] Thanks for the fix of line selection in playground...

Feb. 10, 2018

      Now no need to select the line to execute it....
a pain and time saver

Tx!

Stephane Ducasse