2015-11-11 10:45 GMT+01:00 Peter Uhnák <i.uh...@gmail.com>: > Hi, > > currently to open a Playground via shortcut one has to type <cmd>+o+w, > that's because it used to open Workspace. > However since it now opens Playground the shortcut is no longer > appropriate. > > So can we change it to <cmd>+o+p? > (This shortcut is currently occupied by Monticello Browser, but that can > be movd to <cmd>+o+m which is free.) >
cmd+o+m would be ctrl+o ctrl+m on windows, but ctrl+m does not work yet on windows. > > You could argue that people are used to this shortcut, however that will > not be true for newcommers, who will just see it as random naming (which it > currently is). > > Peter >
