Of course, but I do not know how to do it. On Apr 30, 2013, at 4:45 PM, Marcus Denker <marcus.den...@inria.fr> wrote:
> > On Apr 30, 2013, at 4:44 PM, "roberto.mine...@usi.ch" > <roberto.mine...@usi.ch> wrote: > >> Indeed, or being disabled since CMD + X will do the same :) >> >> Would be cool that CMD + D duplicates the class :) >> > Can you add a tracker entry? > > marcus > >