From 218892ee975ddad06403461458654031600f9bd4 Mon Sep 17 00:00:00 2001 From: Yann Leboulanger Date: Fri, 16 Aug 2013 09:25:07 +0200 Subject: [PATCH] show scrollbar only when needed. Fixes #7239 --- data/gui/preferences_window.ui | 2 ++ 1 file changed, 2 insertions(+) diff --git a/data/gui/preferences_window.ui b/data/gui/preferences_window.ui index 8333373d9..c0f874c8e 100644 --- a/data/gui/preferences_window.ui +++ b/data/gui/preferences_window.ui @@ -1546,6 +1546,8 @@ $T will be replaced by auto-not-available timeout True True + automatic + automatic in