diff options
author | Florrie <towerofnix@gmail.com> | 2017-11-05 12:52:34 -0400 |
---|---|---|
committer | Florrie <towerofnix@gmail.com> | 2017-11-05 12:52:34 -0400 |
commit | 69383a7c1ff7240e664c6af97f84cc7e44050f42 (patch) | |
tree | 3ebf54e775cb57c153c376be1c28309a02c2ce39 | |
parent | 861de86b01737f68a2eb958c768e7aa8eade9f3e (diff) |
Add thing 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 cc8dbf7..66effde 100644 --- a/todo.txt +++ b/todo.txt @@ -401,3 +401,6 @@ TODO: A way to search the playlist for a path. Probably best to modify the function which filters a grouplike by a path. I think I'll hide this feature behind a special prefix, e.g. -c -k '?72 Minutes of Fame'. (Done!) + +TODO: Case-insensitive checking with command keybindings - I think this is + broken with the new command system. |