Nov. 11, 2015
9:45 a.m.
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.) 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