>From abed809c47f97ba4ebcf2761e6233cbc4100e790 Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Thu, 24 Mar 2011 19:12:46 -0700 Subject: [PATCH 03/10] Hide vertical scrollbar in preferences unless needed The vertical scrollbar can be somewhat of an eye-sore. It is likely that most users have enough plugins enabled to where they will see it, but I don't think it hurts to disable by default. Signed-off-by: Christian Hergert --- libanjuta/anjuta-preferences-dialog.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/libanjuta/anjuta-preferences-dialog.c b/libanjuta/anjuta-preferences-dialog.c index d17f902..2cf6cf1 100644 --- a/libanjuta/anjuta-preferences-dialog.c +++ b/libanjuta/anjuta-preferences-dialog.c @@ -191,7 +191,7 @@ anjuta_preferences_dialog_init (AnjutaPreferencesDialog *dlg) scrolled_window = gtk_scrolled_window_new (NULL, NULL); gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolled_window), - GTK_POLICY_NEVER, GTK_POLICY_ALWAYS); + GTK_POLICY_NEVER, GTK_POLICY_AUTOMATIC); gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (scrolled_window), GTK_SHADOW_IN); -- 1.7.4.1