Skip to content

Add widget Page, Role::TabPage, use HasId in fn depress_with_key#540

Merged
dhardy merged 9 commits intomasterfrom
push-ptlpwqwuvvol
Aug 18, 2025
Merged

Add widget Page, Role::TabPage, use HasId in fn depress_with_key#540
dhardy merged 9 commits intomasterfrom
push-ptlpwqwuvvol

Conversation

@dhardy
Copy link
Collaborator

@dhardy dhardy commented Aug 18, 2025

Add a new Page widget with Role::TabPage and use in Stack.

Use HasId in fn depress_with_key. Usage of HasId remains inconsistent, but usage here saved enough .id() calls that it seems worthwhile.

@dhardy dhardy force-pushed the push-ptlpwqwuvvol branch from 9723326 to e31d9f1 Compare August 18, 2025 10:30
@dhardy dhardy merged commit 929c6e3 into master Aug 18, 2025
5 checks passed
@dhardy dhardy deleted the push-ptlpwqwuvvol branch December 30, 2025 08:48
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