Jan. 16, 2015
3:24 p.m.
On 16 January 2015 at 16:22, Marcus Denker <marcus.denker@inria.fr> wrote:
How do you do that?
double click on the value⦠(it is a secret feature for now ;-)
hhhaaahhhh :) it worked via writing an accessor method too -- Damien Pollet type less, do more [ | ] http://people.untyped.org/damien.pollet