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 _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
