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.

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

Figure out some means of shortening filter names so they don't grow out of control #281

Closed
azonenberg opened this issue Sep 30, 2020 · 0 comments
Labels
api API improvements filter Filter graph blocks

Comments

@azonenberg
Copy link
Collaborator

No description provided.

@azonenberg azonenberg added filter Filter graph blocks api API improvements labels Sep 30, 2020
dannas pushed a commit to dannas/scopehal that referenced this issue Jul 1, 2022
…all filters. Still overridden in a few specialized cases. Fixes ngscopeclient#281.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api API improvements filter Filter graph blocks
Projects
None yet
Development

No branches or pull requests

1 participant