Merge branch 'better-tabs-demo' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 3 Dec 2021 13:30:22 +0000 (13:30 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 3 Dec 2021 13:30:22 +0000 (13:30 +0000)
Beef up the tabs demo

See merge request GNOME/gtk!4200


Trivial merge