diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-01-21 12:58:52 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-01-21 12:58:52 +0100 |
commit | 0ebd6a260b652e6d3820c7571683d87eea723dec (patch) | |
tree | f2ad8a29c49cca1e79edf4e3bfd19cf1fe503b33 /source/xrmoptions.c | |
parent | b0870e02f7bde476a47e50d252c9d4c9dadf12a8 (diff) |
Add auto-detect option to DPI setting.
Diffstat (limited to 'source/xrmoptions.c')
-rw-r--r-- | source/xrmoptions.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 85f829c7..79e379a1 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -138,7 +138,7 @@ static XrmOption xrmOptions[] = { { xrm_Boolean, "disable-history", { .num = &config.disable_history }, NULL, "Disable history in run/ssh", CONFIG_DEFAULT }, { xrm_Boolean, "sort", { .num = &config.sort }, NULL, - "Use sorting", CONFIG_DEFAULT }, + "Use sorting", CONFIG_DEFAULT }, { xrm_Boolean, "levenshtein-sort", { .num = &config.levenshtein_sort }, NULL, "Use levenshtein sorting also for fuzzy matching", CONFIG_DEFAULT }, { xrm_Boolean, "case-sensitive", { .num = &config.case_sensitive }, NULL, |