[Nullable(new byte[] { (byte)0, (byte)0, (byte)1 })] Binding<Delegator<PromptEditorHighlighter>> Highlighter { get; }