diff options
| author | andrewdkim <adkim414@gmail.com> | 2020-02-23 16:47:40 -0500 |
|---|---|---|
| committer | andrewdkim <adkim414@gmail.com> | 2020-02-23 16:47:40 -0500 |
| commit | ac59127b264386bdfbf6443822984d002afb7da9 (patch) | |
| tree | 318a8dd0b6cded4d789994d7f277ecd2fe67514b /src/client/documents/Documents.ts | |
| parent | ad83dfcfaea5a6b525351b022158ebf5ff1f8c2f (diff) | |
css menu
Diffstat (limited to 'src/client/documents/Documents.ts')
| -rw-r--r-- | src/client/documents/Documents.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/documents/Documents.ts b/src/client/documents/Documents.ts index 86e459561..8ade14251 100644 --- a/src/client/documents/Documents.ts +++ b/src/client/documents/Documents.ts @@ -146,6 +146,8 @@ 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 + } class EmptyBox { |