diff options
| author | Dave Davenport <qball@blame.services> | 2021-06-08 22:33:23 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@blame.services> | 2021-06-08 22:33:23 +0200 |
| commit | 1a9dac80a9a39d5f71f204710c1b07057d805ead (patch) | |
| tree | f58587d31a01091de03e301e413ffa86e9ba3448 /source/xrmoptions.c | |
| parent | b478de3d7da950de9c19a15ad551488a379bf8e3 (diff) | |
Remove some deprecated options.
* lines
* columns
* width
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 775b71ab..d76cd1fa 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -86,13 +86,6 @@ static XrmOption xrmOptions[] = { "", CONFIG_DEFAULT }, { xrm_String, "modi", { .str = &config.modi }, NULL, "Enabled modi", CONFIG_DEFAULT }, - { xrm_SNumber, "width", { .snum = &config.menu_width }, NULL, - "Window width", CONFIG_DEFAULT }, - { xrm_Number, "lines", { .num = &config.menu_lines }, NULL, - "Number of lines", CONFIG_DEFAULT }, - { xrm_Number, "columns", { .num = &config.menu_columns }, NULL, - "Number of columns", CONFIG_DEFAULT }, - { xrm_String, "font", { .str = &config.menu_font }, NULL, "Font to use", CONFIG_DEFAULT }, { xrm_Number, "location", { .num = &config.location }, NULL, |