[gtk+] GtkButton: don't propagate double-clicks

[Matthias Clasen <matthiasc src gnome org>]

commit 9a04a27ba6d9c96ff6cf983e5289a3cf72a0be90
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Nov 15 23:41:09 2013 -0500

    GtkButton: don't propagate double-clicks
    
    It is basically always unexpected to have a container handle
    double-clicks on a widget that handles single-clicks itself.

 gtk/gtkbutton.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkbutton.c b/gtk/gtkbutton.c
index e372557..456db79 100644
--- a/gtk/gtkbutton.c
+++ b/gtk/gtkbutton.c
@@ -1922,6 +1922,10 @@ gtk_button_button_press (GtkWidget      *widget,
           return GDK_EVENT_STOP;
         }
     }
+  else if (event->type == GDK_2BUTTON_PRESS)
+    {
+      return GDK_EVENT_STOP;
+    }
 
   return GDK_EVENT_PROPAGATE;
 }