Handle undefined theme the right way
Merge pull request #10243 from MarcelGerber/theme-undefined

Handle undefined theme the right way
Make the remaining common key names work in user key bindings.
Revert "Make the remaining common key names work in user key bindings."

This reverts commit b358552988baad22e9436bba2076cdd55d5d2a83.
Update URL to Jasmine (Fixes #10259)
Merge pull request #10260 from sbruchmann/issue-10259

Update URL to Jasmine (Fixes #10259)