David Kastrup <[EMAIL PROTECTED]> writes: > a) accept "%!" as magic PostScript override (previous behavior) > b) accept "%!PS" as magic override (what I proposed and checked in) > c) don't accept any magic postscript override ... > My point of view is that b) nowadays appears like the most > pragmatically useful option, judging from problematic cases I have > seen.
I agree. (b) is the conservative change. "%" is a common enough comment character that I can see "%!" as being slightly risky, but "%!PS" is far less so. -Miles -- "1971 pickup truck; will trade for guns" _______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
