On Mon, Apr 27, 2009 at 08:12:30PM -0700, Ben Pfaff wrote: > Michel Boaventura <michel.boavent...@gmail.com> writes: > > >> I could not reproduce this. ?For me, the presence of non-ASCII > >> characters did not seem to make any difference. > > > > Putting a dot on the end of the line makes the comment appears yellow, but > > every word with non-ascii chars appears white. > > John or Jason, does this happen for you?
I printed some random non-ascii characters at the end of a comment, and they appear blue, dot or no. The rest of the comment is yellow. _______________________________________________ Pspp-users mailing list Pspp-users@gnu.org http://lists.gnu.org/mailman/listinfo/pspp-users