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

Change radio buttons with label with Phase index #11343

Closed
palvarezlopez opened this issue Aug 12, 2022 · 0 comments
Closed

Change radio buttons with label with Phase index #11343

palvarezlopez opened this issue Aug 12, 2022 · 0 comments
Assignees
Labels
a:netedit enhancement netedit:netElements Label for netedit tickets centered in net elements
Milestone

Comments

@palvarezlopez
Copy link
Member

Part of #11241

@palvarezlopez palvarezlopez added enhancement a:netedit netedit:netElements Label for netedit tickets centered in net elements labels Aug 12, 2022
@palvarezlopez palvarezlopez added this to the 1.15.0 milestone Aug 12, 2022
@palvarezlopez palvarezlopez self-assigned this Aug 12, 2022
@palvarezlopez palvarezlopez changed the title Change radio buttons by a Label with Phase index Change radio buttons with label with Phase index Aug 12, 2022
palvarezlopez added a commit that referenced this issue Aug 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
a:netedit enhancement netedit:netElements Label for netedit tickets centered in net elements
Projects
None yet
Development

No branches or pull requests

1 participant