/// <summary>
/// Logs the given text in the editor.
/// </summary>
internal static void LogToWindow(this WaveLanguageServer server, string text, MessageType severity)
{
var message = AsMessageParams(text, severity);
//QsCompilerError.Verify(server != null && message != null, "cannot log message - given server or text was null");
_ = server.NotifyClientAsync(Methods.WindowLogMessageName, message);
}
/// <summary>
/// Shows a dialog window with options (actions) to the user, and returns the selected option (action).
/// </summary>
internal static async Task <MessageActionItem> ShowDialogInWindowAsync(this WaveLanguageServer server, string text, MessageType severity, MessageActionItem[] actionItems)
{
var message =
new ShowMessageRequestParams()
{
Message = text,
MessageType = severity,
Actions = actionItems
};
return(await server.InvokeAsync <MessageActionItem>(Methods.WindowShowMessageRequestName, message));
}
