diff options
author | bobzel <zzzman@gmail.com> | 2023-11-07 13:48:26 -0500 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2023-11-07 13:48:26 -0500 |
commit | a6cc25e5d03ffed16bfaa32e48e9cc2eaff7deaf (patch) | |
tree | 1322ef9a743457f23851ba7c9d5d3dd090f1f75d /src/fields/DocSymbols.ts | |
parent | a4e3b645317c4589cf49f8007f6e6b57cf2c12d3 (diff) |
Changed how selection works to avoid invalidations. Fixed Cast problem with ProxyFields that caused renameEmbedding to infinite loop.. Changed brushing for the same reason. Cleaned up a few things with filter code.
Diffstat (limited to 'src/fields/DocSymbols.ts')
-rw-r--r-- | src/fields/DocSymbols.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/fields/DocSymbols.ts b/src/fields/DocSymbols.ts index df74cc9fe..87f186a23 100644 --- a/src/fields/DocSymbols.ts +++ b/src/fields/DocSymbols.ts @@ -8,6 +8,8 @@ export const Width = Symbol('DocWidth'); export const Height = Symbol('DocHeight'); export const Animation = Symbol('DocAnimation'); export const Highlight = Symbol('DocHighlight'); +export const DocViews = Symbol('DocViews'); +export const Brushed = Symbol('DocBrushed'); export const DocData = Symbol('DocData'); export const DocLayout = Symbol('DocLayout'); export const DocFields = Symbol('DocFields'); |