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

Implement change slicing criterion #21

Open
arya23065 opened this issue Jan 23, 2023 · 1 comment
Open

Implement change slicing criterion #21

arya23065 opened this issue Jan 23, 2023 · 1 comment
Labels
debuggerrunner dynamicslicedebuggerrunner ui
Milestone

Comments

@arya23065
Copy link
Member

arya23065 commented Jan 23, 2023

Implement change in Editor Popup Menu - maybe De-select Slicing criterion when the current selected line is right, clicked. On right click other line, "change slicing criterion?"

@arya23065 arya23065 added ui debuggerrunner dynamicslicedebuggerrunner labels Jan 23, 2023
@arya23065 arya23065 added this to the M4 milestone Jan 23, 2023
@arya23065 arya23065 self-assigned this Feb 28, 2023
@arya23065
Copy link
Member Author

Dependent on #24

LuuO added a commit that referenced this issue Apr 20, 2023
@arya23065 arya23065 removed their assignment Apr 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
debuggerrunner dynamicslicedebuggerrunner ui
Projects
None yet
Development

No branches or pull requests

1 participant