diff options
| author | Dave Davenport <qball@gmpclient.org> | 2016-08-30 18:07:34 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2016-08-30 18:07:34 +0200 |
| commit | 5646adc34d3febfc15a3e7e609d0d689fa129200 (patch) | |
| tree | 35990f9e9d7f4aab2e2f42f6a23c466fb41483ae /source/xrmoptions.c | |
| parent | 0d9d4d6c55987d4de2163dc5d856d1668eb072fa (diff) | |
Add option to set padding within a line.
Fixes: #449
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index f30721b7..b55bffc8 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -166,6 +166,8 @@ static XrmOption xrmOptions[] = { "Monitor id to show on", CONFIG_DEFAULT }, { xrm_Number, "line-margin", { .num = &config.line_margin }, NULL, "Margin between rows", CONFIG_DEFAULT }, + { xrm_Number, "line-padding", { .num = &config.line_padding }, NULL, + "Padding within rows", CONFIG_DEFAULT }, { xrm_String, "filter", { .str = &config.filter }, NULL, "Pre-set filter", CONFIG_DEFAULT }, { xrm_String, "separator-style", { .str = &config.separator_style }, NULL, |