I don't think these should be changed. These are codemirror format keys.