April 30, 2013
2:49 p.m.
Of course, but I do not know how to do it. On Apr 30, 2013, at 4:45 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
On Apr 30, 2013, at 4:44 PM, "roberto.minelli@usi.ch" <roberto.minelli@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