From b1d35a594e588cc325e790c90086b8c50ab72fb0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timm=20B=C3=A4der?= Date: Tue, 4 Oct 2016 21:15:52 +0200 Subject: [PATCH] widget: Remove text-handle-width/height style properties --- gtk/gtkwidget.c | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index df8e06b4b1..4d60848943 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -3283,20 +3283,6 @@ gtk_widget_class_init (GtkWidgetClass *klass) 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"); }