Skip to content

Grouped Components - Editing argument names #12911

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
Open
Frizi opened this issue Apr 18, 2025 · 0 comments · May be fixed by #13014
Open

Grouped Components - Editing argument names #12911

Frizi opened this issue Apr 18, 2025 · 0 comments · May be fixed by #13014
Assignees
@Frizi
Labels
-gui
Milestone
2025-Q2 Release

Comments

@Frizi
Copy link
Contributor

Frizi commented Apr 18, 2025

No description provided.

@Frizi Frizi added the -gui label Apr 18, 2025
@Frizi Frizi added this to the 2025-Q2 Release milestone Apr 18, 2025
@Frizi Frizi self-assigned this Apr 18, 2025
@Frizi Frizi moved this from ❓New to 🔧 Implementation in Issues Board Apr 22, 2025
@Frizi Frizi linked a pull request May 1, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Frizi Frizi

Labels
-gui
Projects
Issues Board
Status: 🔧 Implementation
Milestone
2025-Q2 Release
Development

Successfully merging a pull request may close this issue.

Editable argument name enso-org/enso
1 participant
@Frizi