[gtk+] docs: refer to :has-focus property instead of HAS_FOCUS flag

[William Jon McCann <mccann src gnome org>]

commit 0d9393074974b0bd3222ba65a5edc794e9205f9e
Author: William Jon McCann <william jon mccann gmail com>
Date:   Tue Jan 21 16:03:20 2014 -0500

    docs: refer to :has-focus property instead of HAS_FOCUS flag

 gtk/gtkwidget.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 61c2446..f36463a 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7851,8 +7851,8 @@ gtk_widget_has_visible_focus (GtkWidget *widget)
  * @widget: a #GtkWidget
  *
  * Determines if the widget is the focus widget within its
- * toplevel. (This does not mean that the %HAS_FOCUS flag is
- * necessarily set; %HAS_FOCUS will only be set if the
+ * toplevel. (This does not mean that the #GtkWidget:has-focus property is
+ * necessarily set; #GtkWidget:has-focus will only be set if the
  * toplevel widget additionally has the global input focus.)
  *
  * Return value: %TRUE if the widget is the focus widget.