diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-01-11 09:42:37 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-01-11 09:42:37 +0100 |
| commit | 19b023b221b03a0e322696be8234170ab90984ec (patch) | |
| tree | 0ce99991f275406ebb065c4f844bca9be34cd527 /doc/test_xr.txt | |
| parent | 4452b08288c25fa833e22c97b57045ec5888b547 (diff) | |
Split sorting option. one for sorting. One to force levenshtein.
Diffstat (limited to 'doc/test_xr.txt')
| -rw-r--r-- | doc/test_xr.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/test_xr.txt b/doc/test_xr.txt index d8db08e8..03e71321 100644 --- a/doc/test_xr.txt +++ b/doc/test_xr.txt @@ -44,7 +44,9 @@ rofi.run-shell-command: {terminal} -e {cmd} rofi.window-command: xkill -id {window} ! "Disable history in run/ssh" Set from: File rofi.disable-history: false -! "Use levenshtein sorting" Set from: File +! "Use sorting" Set from: Default +! rofi.sort: false +! "Use levenshtein sorting also for fuzzy matching" Set from: File rofi.levenshtein-sort: false ! "Set case-sensitivity" Set from: File rofi.case-sensitive: false |