I checked on different systems:
2.16.2 2.18.2
Ubuntu 14.04 64bit: good bad
Ubuntu 14.10 32bit: good good
From your responses, I see:
Kevin: 64bit bad
Werner: 32bit good
Abraham: ?bit good (Ubuntu 14.10)
This fits in the 32 vs. 64 bit scheme (among many other possible differences
between the quoted systems – the packages in Ubuntu 14.10 could also be better
than 14.04).
Cheers,
Joram
_______________________________________________
lilypond-user mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/lilypond-user