« get me outta code hell

Add thing to todo.txt - http-music - Command-line music player + utils (not a server!)
about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFlorrie <towerofnix@gmail.com>2017-11-05 12:52:34 -0400
committerFlorrie <towerofnix@gmail.com>2017-11-05 12:52:34 -0400
commit69383a7c1ff7240e664c6af97f84cc7e44050f42 (patch)
tree3ebf54e775cb57c153c376be1c28309a02c2ce39
parent861de86b01737f68a2eb958c768e7aa8eade9f3e (diff)
Add thing to todo.txt
-rw-r--r--todo.txt3
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.