Someone has introduced a command labelled Off (command name, Off, tooltip Off), but no such script exists (just as well!) Richard
_______________________________________________ Denemo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/denemo-devel
