widget: Redraw when font options change
authorMatthias Clasen <mclasen@redhat.com>
Fri, 3 Sep 2021 17:55:39 +0000 (13:55 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 31 Oct 2021 21:52:04 +0000 (17:52 -0400)
commit965ca1b6073974d431d4f5bb532e2009f82a7a5f
tree5012c624995d7857e92cfcc413828ee527e491aa
parente67e51be14f1d96d39481e9beb8b4e18f68d8af8
widget: Redraw when font options change

Its the right thing to do, even if it is a rare event.
gtk/gtkwidget.c