IInteractiveSession SetupSession() { var ses = new CSharpInteractiveSession(); ses.TextReceived += t => DispatchService.GuiDispatch(() => view.WriteOutput(t)); ses.PromptReady += () => DispatchService.GuiDispatch(() => view.Prompt(true)); ses.Exited += () => DispatchService.GuiDispatch(() => { if (kill == KillIntent.None) { view.WriteOutput("\nSession termination detected. Press Enter to restart."); isPrompting = true; } else if (kill == KillIntent.Restart) { view.Clear(); } kill = KillIntent.None; }); ses.StartReceiving(); return(ses); }
IInteractiveSession SetupSession() { var ses = new CSharpInteractiveSession (); ses.TextReceived += t => DispatchService.GuiDispatch (() => view.WriteOutput (t)); ses.PromptReady += () => DispatchService.GuiDispatch (() => view.Prompt (true)); ses.Exited += () => DispatchService.GuiDispatch (() => { if (kill == KillIntent.None) { view.WriteOutput ("\nSession termination detected. Press Enter to restart."); isPrompting = true; } else if (kill == KillIntent.Restart) { view.Clear (); } kill = KillIntent.None; }); ses.StartReceiving (); return ses; }