-
Notifications
You must be signed in to change notification settings - Fork 30
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
Monitoring rework #712
Monitoring rework #712
Conversation
i got this exception:
!ENTRY org.eclipse.core.jobs 4 0 2024-11-07 08:28:35.021 after closing and reopen the system, monitoring works fine. |
When i right click toggle watch on a block, i don't see any monitoring labels. Only when i right click on a pin. |
cc3bf68
to
62252c0
Compare
Yes, you should have watches for all pins when adding a watchpoint on a block. I believe this may be caused by the exception above. I am still not sure why at least one of the other pins does not seem to have a resource, since it is clearly mapped in the editor. In the meantime, I have made some changes to gracefully handle watched elements that are not in a resource. |
No description provided.