Fix the navbar and bookmarks/home URLs#68

Merged

aschuhardt merged 2 commits intobetafrom develop

Nov 2, 2023

+45-34

Commits on Nov 2, 2023

Make bookmarks and home URL set/unset correctly BubbleID #35
aschuhardt
committed
Use a different layout method for the navigation bar BubbleID #34
aschuhardt
committed