aniani/elinks
1
0
Fork 0
mirror of https://github.com/rkd77/elinks.git synced 2024-12-04 14:46:47 -05:00
Code

Merge pull request #8 from aelmahmoudy/larger_doc_margin

Browse Source 
Allow larger document.browse.margin_width
This commit is contained in:
rkd77 2017-11-22 11:56:25 +01:00 committed by GitHub
commit 1fecca1a15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/config/options.inc
View File

@ -472,7 +472,7 @@ static union option_info config_options_info[] = {
INIT_OPT_INT("document.browse", N_("Horizontal text margin"), 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.")), N_("Horizontal text margin.")),
INIT_OPT_BOOL("document.browse", N_("Document meta refresh"), INIT_OPT_BOOL("document.browse", N_("Document meta refresh"),