[reopen] Rename NavigationDestination to NavigationBarDestination + some type hinting, fixes and new features#3172
Merged
FeodorFitsner merged 29 commits intoflet-dev:mainfrom bleudev:mainMay 30, 2024
+764-511
Commits
Commits on May 2, 2024
Commits on May 3, 2024
- committed
- committed
- committed
- committed
- committed
- authored
Commits on May 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 6, 2024
Commits on May 11, 2024
Commits on May 19, 2024
- authored