editorMessages: readonly string[] = ...