liam Beguin <liambeg...@gmail.com> writes: > I'll change it to TODO_LIST_SHORTED_IDs. TODO_LIST_SHORTED_INSNS would > suggest the flag changes both parts of the todo.
I am not a native speaker, but SHORTED does not sound like a right phrase. When you make something shorter, that thing is "shortened", not "shorted".
