diff options
| author | Dave Davenport <qball@gmpclient.org> | 2015-08-04 09:42:14 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2015-08-04 09:42:14 +0200 |
| commit | 1ca7141621817cd277e2c117819bcf4c66d88190 (patch) | |
| tree | b2c3d25631a3f1dfe0a3ebd8c991ee0003463354 /config | |
| parent | 7e9ac526b54ce3b35ad292a4e091d25d75e47eef (diff) | |
Add quick solution for #202, expose line-margin setting.
Diffstat (limited to 'config')
| -rw-r--r-- | config/config.def.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/config.def.c b/config/config.def.c index 28fe0ed1..e8aac238 100644 --- a/config/config.def.c +++ b/config/config.def.c @@ -131,6 +131,7 @@ Settings config = { /** Fuzzy matching. */ .fuzzy = FALSE, /** Monitor */ - .monitor = -1, + .monitor = -1, + .line_margin = 3, }; |