diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-25 17:23:43 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-25 17:23:43 -0400 |
| commit | 7a291cbffb9e609633759cfff8b459e1a32b4fc3 (patch) | |
| tree | e43ec88857c1201b7e2b9c56353253ab9b1e09d4 /src/client/documents/Documents.ts | |
| parent | a8d9fb68b14a5c89a3186e49ff28bbfa2cd9978e (diff) | |
bugfixing search, refreshing docs, ghost buckets, etc.
Diffstat (limited to 'src/client/documents/Documents.ts')
| -rw-r--r-- | src/client/documents/Documents.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/client/documents/Documents.ts b/src/client/documents/Documents.ts index c32d187a0..ebdae1ce5 100644 --- a/src/client/documents/Documents.ts +++ b/src/client/documents/Documents.ts @@ -181,7 +181,6 @@ export interface DocumentOptions { flexDirection?: "unset" | "row" | "column" | "row-reverse" | "column-reverse"; selectedIndex?: number; syntaxColor?: string; // can be applied to text for syntax highlighting all matches in the text - searchText?: string, //for searchbox searchQuery?: string, // for quersyBox filterQuery?: filterData, linearViewIsExpanded?: boolean; // is linear view expanded |