diff options
| author | Florrie <towerofnix@gmail.com> | 2017-09-11 22:23:06 -0300 |
|---|---|---|
| committer | Florrie <towerofnix@gmail.com> | 2017-09-11 22:23:10 -0300 |
| commit | 3f9f999f417d16e70bb5d6aac1461babf71a22f0 (patch) | |
| tree | bd1a67854977c9f3c9c06c64f04f450dd5067a44 /todo.txt | |
| parent | e66b70fafc140af7abbe0ade44ed55bbd757e7d7 (diff) | |
Ignore filename case in crawl-local
The array ['banana', 'Rainbows!!', 'Abstract', 'kangaroo'].. ..would previously be sorted as ['Abstract', 'Rainbows!!', 'banana', 'kangaroo'].. ..but that was clearly wrong; it's now sorted as ['Abstract', 'banana', 'kangaroo', 'Rainbows!!'].
Diffstat (limited to 'todo.txt')
| -rw-r--r-- | todo.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/todo.txt b/todo.txt index 907c9e2..6395146 100644 --- a/todo.txt +++ b/todo.txt @@ -348,3 +348,6 @@ TODO: Rename pickers2.js to pickers.js, and get rid of the old pickers.js. TODO: Some way to control how verbose http-music is.. most people probably don't care about 'Indexing (flattening)', but it is handy for those on slow computers. + +TODO: Make the natural sort in crawl-local ignore capitalization case. + (Done!) |