Default editor command in the Play World context.
Custom keybindings in your editor can differ from these defaults.
