some extra keys in the editor to make life easier