[gtk+] widget: deprecate interior-focus style property

[Cosimo Cecchi <cosimoc src gnome org>]

commit b03c22e0c990be02b08f71a33cb0816a8bde20f5
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu May 1 19:36:42 2014 +0200

    widget: deprecate interior-focus style property
    
    Nothing uses it anymore inside GTK.

 gtk/gtkwidget.c |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index ce4f6ae..b1a4095 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3442,12 +3442,20 @@ G_GNUC_END_IGNORE_DEPRECATIONS
                                 GTK_TYPE_WIDGET_HELP_TYPE,
                                 GTK_WIDGET_HELP_WHATS_THIS);
 
+  /**
+   * GtkWidget:interior-focus:
+   *
+   * The "interior-focus" style property defines whether
+   * to draw the focus indicator inside widgets.
+   *
+   * Deprecated: 3.14: use the outline CSS properties instead.
+   */
   gtk_widget_class_install_style_property (klass,
                                           g_param_spec_boolean ("interior-focus",
                                                                 P_("Interior Focus"),
                                                                 P_("Whether to draw the focus indicator 
inside widgets"),
                                                                 TRUE,
-                                                                GTK_PARAM_READABLE));
+                                                                GTK_PARAM_READABLE | G_PARAM_DEPRECATED));
 
   gtk_widget_class_install_style_property (klass,
                                           g_param_spec_int ("focus-line-width",