diff options
| author | bobzel <zzzman@gmail.com> | 2021-04-06 18:10:44 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2021-04-06 18:10:44 -0400 |
| commit | cdfa4390641f5dd4ba5664217417fb42374ed9ea (patch) | |
| tree | 4e500d4a6888485ef05e3962b5a4f244347636e6 | |
| parent | ac19f2a73ea9e22dfb9106a2db7383264ff9f8a2 (diff) | |
from last
| -rw-r--r-- | src/client/views/StyleProvider.tsx | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/client/views/StyleProvider.tsx b/src/client/views/StyleProvider.tsx index 2ab6d448a..9102b9fa4 100644 --- a/src/client/views/StyleProvider.tsx +++ b/src/client/views/StyleProvider.tsx @@ -231,31 +231,6 @@ function closeFilter(e: React.MouseEvent, doc: Doc) { } -/** - * add (to treeView) for filtering decorations - */ -export function FilteringStyleProvider(doc: Opt<Doc>, props: Opt<FieldViewProps | DocumentViewProps>, property: string) { - switch (property.split(":")[0]) { - case StyleProp.Decorations: - if (doc) { - return doc._viewType === CollectionViewType.Docking || (Doc.IsSystem(doc)) ? (null) : - <> - <div> - <select className="filterBox-treeView-selection" onChange={e => changeFilterBool(e, doc)}> - <option value="Is" key="Is">Is</option> - <option value="Is Not" key="Is Not">Is Not</option> - </select> - </div> - <div className="filterBox-treeView-close" onClick={(e) => closeFilter(e, doc)}> - <FontAwesomeIcon icon={"times"} size="sm" /> - </div> - </>; - } - default: return DefaultStyleProvider(doc, props, property); - - } -} - // // a preliminary semantic-"layering/grouping" mechanism for determining interactive properties of documents // currently, the provider tests whether the docuemnt's layer field matches the activeLayer field of the tab. |