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

Cannot use filter for Tools. #540

Closed
benben233 opened this issue Sep 25, 2023 · 5 comments
Closed

Cannot use filter for Tools. #540

benben233 opened this issue Sep 25, 2023 · 5 comments

Comments

@benben233
Copy link

benben233 commented Sep 25, 2023 •
edited
Loading

We cannot use the filter in Tools. Clicked it and nothing happened.
image
@benben233 benben233 reopened this Sep 25, 2023
@benben233
Copy link
Author

It can work with a very small probability. I don't know why

@chrbertsch chrbertsch transferred this issue from modelica/fmi-standard Sep 25, 2023
@t-sommer
Copy link
Collaborator

Can you please provide steps to reproduce the problem?

@benben233
Copy link
Author

benben233 commented Oct 8, 2023 •
edited
Loading

Can you please provide steps to reproduce the problem?

Just click the Tools. And click the filters. And nothing happened. You can see the Error, maybe because of proxy. Maybe it is a bug from Vue3. And I use another device, another network, and ask my colleague to open it without proxy. But the same error, it is strange.

@benben233 benben233 changed the title Your home page cannot use filter for tools. Cannot use filter for Tools. Oct 8, 2023
@t-sommer
Copy link
Collaborator

This should be fixed with f25c043. Please reopen if the problem persists.

@chrbertsch
Copy link
Collaborator

Works like charm, Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@t-sommer @benben233 @chrbertsch