-- workspace_symbol --