PluginStoreWidget
Auto-generated @jbrowse/mobx-state-tree API for the current JBrowse release —
see pluggable elements for concepts. Provided by the
data-management plugin.
View source.
Widget backing the plugin store: holds the text and tag filters applied to the installable plugin list and the view it was opened from.
Properties
| Member | Description |
|---|---|
idid: ElementId | |
typetype: types.literal('PluginStoreWidget') | |
filterTextfilterText: '' | |
tagFilterstagFilters: types.optional(types.array(types.string), []) | Tags a plugin must carry to stay in the list. Plain strings, because the tag vocabulary is published in the store manifest rather than defined here — a tag this build has never seen still filters correctly. |
| view |
Getters
| Member | Description |
|---|---|
Set<string> |
Actions
| Member | Description |
|---|---|
setFilterText(newText: string) => void | |
toggleTagFilter(tag: string) => void | |
clearTagFilters() => void |