gtk: Add a way to queue redrawing the base GTK widget
authorBastien Nocera <hadess@hadess.net>
Tue, 1 Feb 2022 13:26:02 +0000 (14:26 +0100)
committerGStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org>
Thu, 10 Feb 2022 23:33:02 +0000 (23:33 +0000)
commitec77a1aac8067c01274c008ff56257e240c8e43a
treeb0bb75ea9e77f3c9ee3170cd85f2ea7cf6f3fb1f
parent66b176322ca7ee019d1b27e4b59d607b1c870c6b
gtk: Add a way to queue redrawing the base GTK widget

This will be used to request a redraw of the GTK widget should the
display be changed using properties not directly handled by the base GTK
widget, but by one of its descendants.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/1618>
subprojects/gst-plugins-good/ext/gtk/gtkgstbasewidget.c
subprojects/gst-plugins-good/ext/gtk/gtkgstbasewidget.h