message: Add support for Unicode input with multiple cursors
diff: "mac": "tab",
  "when": "editorTextFocus && editorLangId == lean && lean.input.isActive"
  },
  + {
  + "command": "lean.input.convertWithNewline",
  + "key": "enter",
  + "mac": "enter",
  + "when": "editorTextFocus && editorLangId == lean && lean.input.isActive && !suggestWidgetVisible && !renameInputVisible && !inSnippetMode && !quickFixWidgetVisible && !vim.active || vim.mode == 'Insert' "
  + },
  {
  "command": "lean.batchExecute",
  "key": "ctrl+shift+r",
  