public void RenderCapturedOutputSegment(CapturedOutputSegment segment)
        {
            if (capturedOutputElem == null)
            {
                ContentElement.AppendChild(
                    capturedOutputElem = CreateContentContainer("captured-output"));
            }

            var span = Document.CreateElement("span",
                                              @class: segment.FileDescriptor == CapturedOutputWriter.StandardErrorFd
                ? "stderr"
                : "stdout");

            var builder = new StringBuilder();

            for (var i = 0; i < segment.Value.Length; i++)
            {
                string escaped;
                var    c = segment.Value [i];
                if (c.TryHtmlEscape(out escaped, true))
                {
                    builder.Append(escaped);
                }
                else
                {
                    builder.Append(c);
                }
            }

            span.InnerHTML = builder.ToString();

            capturedOutputElem.AppendChild(span);
        }
Beispiel #2
0
        static void RenderOutput(CapturedOutputSegment output)
        {
            switch (output.FileDescriptor)
            {
            case 1:
                ForegroundColor = ConsoleColor.Gray;
                break;

            case 2:
                ForegroundColor = ConsoleColor.Red;
                break;
            }

            Write(output.Value);

            ResetColor();
        }
Beispiel #3
0
 void ICodeCellView.RenderCapturedOutputSegment(CapturedOutputSegment segment)
 {
     RenderBuffer();
     output.Write(segment.Value);
 }
Beispiel #4
0
 public void RenderCapturedOutputSegment(CapturedOutputSegment segment)
 {
 }
Beispiel #5
0
 void RenderCapturedOutputSegment(CapturedOutputSegment segment)
 => GetCodeCellStateById(segment.CodeCellId)?.View?.RenderCapturedOutputSegment(segment);
Beispiel #6
0
 void CapturedOutputWriter_SegmentCaptured(CapturedOutputSegment segment)
 => events.Observers.OnNext(segment);