# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1614511845 0
# Node ID 5363f953b22a3124b71611abd68342c87cfe6e47
# Parent  0d7f8136d77172f14d47b048161b9d467f41b580
GTK4: Implement dw_window_redraw() for render/drawing area widgets.
Causes them to trigger a draw/paint callback.

diff -r 0d7f8136d771 -r 5363f953b22a gtk4/dw.c
--- a/gtk4/dw.c	Sun Feb 28 10:42:55 2021 +0000
+++ b/gtk4/dw.c	Sun Feb 28 11:30:45 2021 +0000
@@ -1890,8 +1890,14 @@
  * Parameters:
  *           handle: Toplevel window handle to be redrawn.
  */
-void API dw_window_redraw(HWND handle)
-{
+DW_FUNCTION_DEFINITION(dw_window_redraw, void, HWND handle)
+DW_FUNCTION_ADD_PARAM1(handle)
+DW_FUNCTION_NO_RETURN(dw_window_redraw)
+DW_FUNCTION_RESTORE_PARAM1(handle, HWND)
+{
+   if(handle && GTK_IS_DRAWING_AREA(handle))
+      gtk_widget_queue_draw(GTK_WIDGET(handle));
+   DW_FUNCTION_RETURN_NOTHING;
 }
 
 /*