From c02e04b7b8f96c6882fec7f590ff150a25cbf92d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <mail@baedert.org>
Date: Sat, 14 Oct 2017 08:12:05 +0200
Subject: [PATCH] widget: Whitespace fix

Fallout from one of my earlier commits so not changing ownership here.
---
 gtk/gtkwidget.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 10b7836bc6..5a63174f7a 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7213,9 +7213,8 @@ gtk_widget_real_style_updated (GtkWidget *widget)
               gtk_widget_queue_allocate (widget);
             }
           else if (gtk_css_style_change_affects (change, GTK_CSS_AFFECTS_REDRAW))
-
             {
-                gtk_widget_queue_draw (widget);
+              gtk_widget_queue_draw (widget);
             }
         }
     }