[gtk+/wip/baedert/box] widget: Remove text-handle-width/height style properties

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

commit cd1a1668ee43753bd4f5718aa4173d7783233fc0
Author: Timm Bäder <mail baedert org>
Date:   Tue Oct 4 21:15:52 2016 +0200

    widget: Remove text-handle-width/height style properties

 gtk/gtkwidget.c |   14 --------------
 1 files changed, 0 insertions(+), 14 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 4a92da3..13f9d74 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -3340,20 +3340,6 @@ G_GNUC_END_IGNORE_DEPRECATIONS
                                                                  FALSE,
                                                                  GTK_PARAM_READABLE));
 
-
-  gtk_widget_class_install_style_property (klass,
-                                           g_param_spec_int ("text-handle-width",
-                                                             P_("Width of text selection handles"),
-                                                             P_("Width of text selection handles"),
-                                                             1, G_MAXINT, 16,
-                                                             GTK_PARAM_READABLE));
-  gtk_widget_class_install_style_property (klass,
-                                           g_param_spec_int ("text-handle-height",
-                                                             P_("Height of text selection handles"),
-                                                             P_("Height of text selection handles"),
-                                                             1, G_MAXINT, 20,
-                                                             GTK_PARAM_READABLE));
-
   gtk_widget_class_set_accessible_type (klass, GTK_TYPE_WIDGET_ACCESSIBLE);
   gtk_widget_class_set_css_name (klass, "widget");
 }