I have an idea for a patch to fix this, although the other problem I described (in a second email) are more pressing at this point.
Regards, Matt _______________________________________________ Help-source-highlight mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-source-highlight
