dynamic hiding/showing of tab separators#1380
Closed
adred wants to merge 47 commits intomainfrom red/tabs-new-design-2
+220-93
Commits
Commits on Nov 22, 2024
Commits on Nov 23, 2024
- committed
- committed
- committed
- committed
Commits on Nov 24, 2024
Commits on Nov 26, 2024
Commits on Dec 3, 2024
Commits on Dec 4, 2024
Commits on Dec 5, 2024
- committed
- committed
- committed
Commits on Dec 6, 2024
Commits on Dec 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 11, 2024
- committed