feat: add editor hover command

This commit is contained in:
CJ van den Berg 2024-09-10 20:23:34 +02:00
parent c894ae6dea
commit 539b1fd37d
Signed by: neurocyte
GPG key ID: 8EB1E1BB660E3FB9
2 changed files with 9 additions and 0 deletions

View file

@ -123,6 +123,9 @@ pub fn receive(self: *Self, from_: tp.pid_ref, m: tp.message) error{Exit}!bool {
} else if (try m.match(.{ "FIF", "done" })) {
self.find_in_files_done = true;
return true;
} else if (try m.match(.{ "hover", tp.extract(&path), tp.extract(&begin_line), tp.extract(&begin_pos), tp.string, tp.extract(&lines) })) {
try self.add_info_content(lines);
return true;
} else if (try m.match(.{"write_restore_info"})) {
self.write_restore_info();
return true;