From 145659af9394f4ec0de0a1af792b4e5916c20bec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= Date: Wed, 17 Oct 2018 20:15:34 +0200 Subject: [PATCH] widget: Some whitespace fixes --- gtk/gtkwidget.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index b496e6954c..c8aba33e8c 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -10529,13 +10529,13 @@ gtk_widget_real_get_request_mode (GtkWidget *widget) } static void -gtk_widget_real_measure (GtkWidget *widget, - GtkOrientation orientation, - int for_size, - int *minimum, - int *natural, - int *minimum_baseline, - int *natural_baseline) +gtk_widget_real_measure (GtkWidget *widget, + GtkOrientation orientation, + int for_size, + int *minimum, + int *natural, + int *minimum_baseline, + int *natural_baseline) { *minimum = 0; *natural = 0;