1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-11-04 08:17:17 -05:00

Allow larger document.browse.margin_width

This commit is contained in:
Yozo Hida 2009-05-01 15:39:30 -04:00 committed by أحمد المحمودي (Ahmed El-Mahmoudy)
parent d8e749c0f4
commit a9e7768b76

View File

@ -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"),