From a9e7768b7644411762772f604fc5c46bc9194ffc Mon Sep 17 00:00:00 2001 From: Yozo Hida Date: Fri, 1 May 2009 15:39:30 -0400 Subject: [PATCH] Allow larger document.browse.margin_width --- src/config/options.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/config/options.inc b/src/config/options.inc index a665df17..aa34e6a5 100644 --- a/src/config/options.inc +++ b/src/config/options.inc @@ -460,7 +460,7 @@ static union option_info config_options_info[] = { INIT_OPT_INT("document.browse", N_("Horizontal text margin"), - "margin_width", 0, 0, 9, 3, + "margin_width", 0, 0, 100, 3, N_("Horizontal text margin.")), INIT_OPT_BOOL("document.browse", N_("Document meta refresh"),