diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-07-03 09:23:03 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-07-03 09:23:03 +0200 |
commit | 7e1c02b04c364ed1e3638432eebabf2d6e50acec (patch) | |
tree | 94c52861176ce7d25f66bbd3a64fa0b5488555df /config/config.c | |
parent | 5f21ab80a8f54e6133140582fe59a2992021c29a (diff) |
[OldTheme] Re-add the padding/bw option.
Diffstat (limited to 'config/config.c')
-rw-r--r-- | config/config.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/config.c b/config/config.c index aa938cb9..82ba390d 100644 --- a/config/config.c +++ b/config/config.c @@ -35,6 +35,8 @@ Settings config = { /** List of enabled modi. */ /** -modi */ .modi = "window,run,ssh", + /** Border width around the window. */ + .menu_bw = 1, /** The width of the switcher. (0100 in % > 100 in pixels) */ .menu_width = 50, /** Maximum number of options to show. */ @@ -74,6 +76,8 @@ Settings config = { * */ .location = WL_CENTER, + /** Padding between elements */ + .padding = 5, /** Y offset */ .y_offset = 0, /** X offset */ |