well… but I still keep my argument: current cmd+i semantics is “popup a new inspector”, if we change that *just in the playground”, it will be annoying. anyway, looks like opinions are divided: I believe that using cmd+i is bad, while the rest of the world believe is the best way to go. but since I’m not sure, I’m making a poll to see the general opinion :)
Esteban > On 03 Oct 2014, at 10:13, Marcus Denker <marcus.den...@inria.fr> wrote: > > > On 03 Oct 2014, at 10:08, Christophe Demarey <christophe.dema...@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 >
