Skip to content

Fix layout of RadioButton tabs in the NavigationTabBar#622

Merged
kevinaboos merged 4 commits into
project-robius:mainfrom
kevinaboos:navigation_radio_buttons
Nov 1, 2025
Merged

Fix layout of RadioButton tabs in the NavigationTabBar#622
kevinaboos merged 4 commits into
project-robius:mainfrom
kevinaboos:navigation_radio_buttons

Conversation

@kevinaboos
Copy link
Copy Markdown
Member

The radio button set is not yet created or working correctly (i.e., it's not maintaining the invariant that only one button is selected)

The radio button set is not yet created or working correctly
(i.e., it's not maintaining the invariant that only one button is selected)
The AddRoomScreen isn't yet implemented, so there's no point
in allowing users to click on it.
@kevinaboos kevinaboos merged commit e6cfab4 into project-robius:main Nov 1, 2025
11 checks passed
@kevinaboos kevinaboos deleted the navigation_radio_buttons branch November 1, 2025 00:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant