Skip to content
Prev 3847 / 63424 Next

graphics character misplaced (PR#548)

ripley@stats.ox.ac.uk writes:
I don't see it either with current development sources. We used to get
that effect because "*" is a superscript asterisk (not a centered
operator) in the relevant X11 font, but Paul/Ross fixed that at some
point. Does example(points) look right on this system?