On 22 Mar 2015, at 13:49, Ben Coman <btc@openinworld.com> wrote:

On Sun, Mar 22, 2015 at 3:27 PM, stepharo <stepharo@free.fr> wrote:

As soon as Pharo 5.0 is out it will get in :)
Again we will do videos and I do not want to have to work at that time on it.

We will have to fix all the shortcuts also because we still have
    Cmd + m and Cmd b+m

;)

I'm presuming you mean its a problem having both, and I guess the move is towards having only the double-keypress?  I'm going to overreact here and say DO NOT REMOVE SINGLE KEYPRESS #IMPLEMENTORS.