diff options
| author | bob <bcz@cs.brown.edu> | 2019-10-11 10:38:51 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-10-11 10:38:51 -0400 |
| commit | 4aa9759d8eb2c4db5f572d60d85460f6c9c9116f (patch) | |
| tree | 3850dcf5df92184030f48c23d05058ad04b8ae37 /src | |
| parent | a5ff7c97d911ee03107b471ec882d5f8aa669f46 (diff) | |
fixed search to look in extension docs.
Diffstat (limited to 'src')
| -rw-r--r-- | src/client/views/search/SearchBox.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/search/SearchBox.tsx b/src/client/views/search/SearchBox.tsx index 62c8c255e..b728ffaa9 100644 --- a/src/client/views/search/SearchBox.tsx +++ b/src/client/views/search/SearchBox.tsx @@ -141,7 +141,7 @@ export class SearchBox extends React.Component { private get filterQuery() { const types = FilterBox.Instance.filterTypes; const includeDeleted = FilterBox.Instance.getDataStatus(); - return "NOT baseProto_b:true" + (includeDeleted ? "" : " AND NOT deleted_b:true") + (types ? ` AND (${types.map(type => `({!join from=id to=proto_i}type_t:"${type}" AND NOT type_t:*) OR type_t:"${type}"`).join(" ")})` : ""); + return "NOT baseProto_b:true" + (includeDeleted ? "" : " AND NOT deleted_b:true") + (types ? ` AND (${types.map(type => `({!join from=id to=proto_i}type_t:"${type}" AND NOT type_t:*) OR type_t:"${type}" OR type_t:"extension"`).join(" ")})` : ""); } |