[gtk+] widget: Remove private _gtk_widget_set_has_focus

[Timm Bäder <baedert src gnome org>]

commit 07d6c7817db14f74d2ee9edcb7d36267c5a0332a
Author: Timm Bäder <mail baedert org>
Date:   Sat Aug 12 08:48:50 2017 +0200

    widget: Remove private _gtk_widget_set_has_focus
    
    The css state here is now handled in gtk_widget_set_focus_child

 gtk/gtkwidget.c |   14 +-------------
 1 files changed, 1 insertions(+), 13 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index ba3ce24..14a9206 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -13627,18 +13627,6 @@ gtk_widget_get_opacity (GtkWidget *widget)
   return widget->priv->user_alpha / 255.0;
 }
 
-static void
-_gtk_widget_set_has_focus (GtkWidget *widget,
-                           gboolean   has_focus)
-{
-  widget->priv->has_focus = has_focus;
-
-  if (has_focus)
-    gtk_widget_set_state_flags (widget, GTK_STATE_FLAG_FOCUSED, FALSE);
-  else
-    gtk_widget_unset_state_flags (widget, GTK_STATE_FLAG_FOCUSED);
-}
-
 /**
  * gtk_widget_send_focus_change:
  * @widget: a #GtkWidget
@@ -13684,7 +13672,7 @@ gtk_widget_send_focus_change (GtkWidget *widget,
 
   g_object_ref (widget);
 
-  _gtk_widget_set_has_focus (widget, event->focus_change.in);
+  widget->priv->has_focus = event->focus_change.in;
 
   res = gtk_widget_event (widget, event);