Merge branch 'widget-factory-theme' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 26 Mar 2020 18:23:11 +0000 (18:23 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 26 Mar 2020 18:23:11 +0000 (18:23 +0000)
widget-factory: Add theme switch

See merge request GNOME/gtk!1573


Trivial merge