Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support for ephemeral (per-request) word and label filters #44

Closed
dweiss opened this issue Nov 30, 2020 · 0 comments
Closed

Add support for ephemeral (per-request) word and label filters #44

dweiss opened this issue Nov 30, 2020 · 0 comments
Labels
API CHANGE! Java API REST API
Milestone
4.1.0

Comments

@dweiss
Copy link
Member

dweiss commented Nov 30, 2020

It should be possible to provide lexical data (dictionary filters for terms and labels) as part of each request. This is needed for faster interaction in user interfaces (like Workbench) so that on-disk resources don't have to be updated and reloaded.
@dweiss dweiss added this to the 4.1.0 milestone Nov 30, 2020
@dweiss dweiss changed the title Add support for ad-hoc (per-request) word and label filters Add support for ephemeral (per-request) word and label filters Dec 1, 2020
@dweiss dweiss closed this as completed Dec 1, 2020
dweiss added a commit that referenced this issue Dec 1, 2020
@dweiss
GH-44: Add support for ephemeral (per-request) word and label filters.
ecd161c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
API CHANGE! Java API REST API
Projects
None yet
Milestone
4.1.0
Development

No branches or pull requests
1 participant
@dweiss