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 /source/xrmoptions.c | |
| parent | 5f21ab80a8f54e6133140582fe59a2992021c29a (diff) | |
[OldTheme] Re-add the padding/bw option.
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 0b3d138f..87556a37 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -94,10 +94,16 @@ static XrmOption xrmOptions[] = { { xrm_String, "font", { .str = &config.menu_font }, NULL, "Font to use", CONFIG_DEFAULT }, + { xrm_Number, "borderwidth", { .num = &config.menu_bw }, NULL, + "", CONFIG_DEFAULT }, + { xrm_Number, "bw", { .num = &config.menu_bw }, NULL, + "Border width", CONFIG_DEFAULT }, { xrm_Number, "location", { .num = &config.location }, NULL, "Location on screen", CONFIG_DEFAULT }, + { xrm_Number, "padding", { .num = &config.padding }, NULL, + "Padding", CONFIG_DEFAULT }, { xrm_SNumber, "yoffset", { .snum = &config.y_offset }, NULL, "Y-offset relative to location", CONFIG_DEFAULT }, { xrm_SNumber, "xoffset", { .snum = &config.x_offset }, NULL, |