Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Feature: add edit_parameters widget to toolbar for GUI backends #17105
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
base: main
Are you sure you want to change the base?
Feature: add edit_parameters widget to toolbar for GUI backends #17105
Changes from all commits
9d10737
3095496
aff0de2
a12d6c2
759e157
84f2f39
379a054
67b381a
0039675
a2422bb
94bdf01
afe51ad
104b998
6705d1e
7a1851e
089b881
2f7a403
3cbcf00
abb908d
815ecf5
0003871
669375e
dee1107
484e950
7e19ce7
b63ae9e
05bf045
9039631
7c700bb
4a97188
752df05
f744adf
da82639
59b0c12
a0cc284
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing