I've just pushed improvements to the search for Denemo commands. Commands are now found containing all (or most) of the words given and the search works on the help text for the command or the label. This will be part of the 1.2.4 release.
Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
