Hi Alan, Alan Schmitt <alan.schm...@polytechnique.org> writes:
>>> I tried to fix it in the updated attached patch. I set a default value >>> of "foldmarks-not-set" to the predicate that detects if it is set in the >>> file, then I compare its contents. This assumes that the user will not >>> give this literal value to the option. >> >> The attached version is updated to apply cleanly on master (after >> applying your other patches). > > I've pushed this. Please don't hesitate to send suggestions to improve > it, or report if it does not work as expected. Great, it'll serve for now. It shouldn't case any breaks. –Rasmus -- C is for Cookie
