workspace_symbol_reply: Get all the symbols in the workspace matching a query
Description
Get all the symbols in the workspace matching a query
Usage
workspace_symbol_reply(id, workspace, query)
Arguments
id
a numeric, the id of the process that started the server
Value
A Response
with a list of all the symbols
in the workspace that match the query, or just the id
if there weren't any.