feat: add support for language server window/showMessage notifications

This commit is contained in:
CJ van den Berg 2024-04-20 23:47:34 +02:00
parent f91ae313d1
commit ef57339258
4 changed files with 44 additions and 0 deletions

View file

@ -317,6 +317,12 @@ fn receive_safe(self: *Self, from: tp.pid_ref, m: tp.message) tp.result {
if (try m.match(.{ "exit", "DEADSEND", tp.more }))
return;
var msg: []const u8 = undefined;
if (try m.match(.{ "exit", tp.extract(&msg), tp.more })) {
self.logger.err_msg("tui", msg);
return;
}
if (try m.match(.{ "PRJ", tp.more })) // drop late project manager query responses
return;