On 03 Oct 2014, at 10:08, Christophe Demarey <Christophe.Demarey@inria.fr> wrote:

>
> Le 3 oct. 2014 �� 08:26, Esteban Lorenzano a ��crit :
>
>> well, but that���s something that *now* you cannot do.
>> what people will see now is ���cmd+i does one thing in playground, and other thing in other parts of the system".
>
> Maybe it is me but what I see is cmd+i => inspect.
> I will be more confused to use cmd+o in GT and cmd+i everywhere else.
>

another argument: everyone agrees that we open too many windows (*far* too many windows) and that we
need to change the IDE to do that less.

Now if we declare ���every keystroke that used to open a window needs to open a window forever and in all
contexts���, then it will be hard to solve the window-plague���

�� �� �� �� Marcus