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

Do not filter types if no restrictions exist #51

Open
SReichelt opened this issue Feb 22, 2020 · 0 comments
Open

Do not filter types if no restrictions exist #51

SReichelt opened this issue Feb 22, 2020 · 0 comments
Assignees
@SReichelt
Labels
component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
Milestone
1. Web-based inpu...

Comments

@SReichelt
Copy link
Owner

There are many situations where no restrictions apply to a placeholder to be filled, other than the general expression type. In these situations, we currently filter terms unnecessarily without any effect other than a short waiting indicator.
@SReichelt SReichelt added enhancement New feature or request component: hlm logic Issue concerns the HLM logic component: gui Issue concerns the web-based user interface labels Feb 22, 2020
@SReichelt SReichelt self-assigned this Feb 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SReichelt SReichelt

Labels
component: gui Issue concerns the web-based user interface component: hlm logic Issue concerns the HLM logic enhancement New feature or request
Projects
None yet
Milestone
1. Web-based input of definitions and...
Development

No branches or pull requests
1 participant
@SReichelt