[Denemo-devel] Command Manager

[Richard Shann]

Eloi,

Are you still planning on upgrading the command manager? I ask because I
have realized that I am in danger of duplicating work. I have the
command manager displaying the labels of commands now, and incrementally
searching on that field. I can see how it could also search for a
command having enough words from a user-provided list (where "enough"
would be as set by the user, and the search could extend over the labels
and tooltips); but I don't want to do this if it clashes with stuff you
have done or are about to do.

Richard