public void WriteLine(string str) { string[] lines = str.Split(new string[] { "\r\n", "\r", "\n" }, StringSplitOptions.None); AnsiTextStyle style = AnsiTextStyle.Empty; foreach (string line in lines) { ColorMessage msg = ColorMessage.CreateFromAnsi(line, style); WriteLine(msg); } }
public void WriteLineLow(string format, params object[] args) { string str = String.Format(format, args); string[] lines = str.Split(new string[] { "\r\n", "\r", "\n" }, StringSplitOptions.None); AnsiTextStyle style = AnsiTextStyle.Empty; foreach (string line in lines) { ColorMessage msg = ColorMessage.CreateFromAnsi(line, style); m_paragraphContainer.Add(new Paragraph(msg)); } }
void PromptEvent(string data) { AnsiTextStyle dummy = AnsiTextStyle.Empty; ColorMessage colorMsg = ColorMessage.CreateFromAnsi(data, dummy); colorMsg = m_baseServicesDispatcher.DispatchPromptEvent(colorMsg); if (colorMsg == null) { return; } if (!m_pythonMode) { m_mainWindow.PromptTextBox.Prompt = colorMsg.Text; } }