From 171e686ae508fb5bef4de0f236573691963ab65e Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Sun, 5 Aug 2007 04:17:18 +0000 Subject: [PATCH] make plugin list scrollable --- glade/plugin_dialog.glade | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/glade/plugin_dialog.glade b/glade/plugin_dialog.glade index 305441e4f..67427d5e4 100644 --- a/glade/plugin_dialog.glade +++ b/glade/plugin_dialog.glade @@ -26,8 +26,24 @@ True True - + True + True + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + + + True + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + GTK_RESIZE_QUEUE + + + True + + + +