Closed GoogleCodeExporter closed 9 years ago
False alarm: the problem was that i had disabled the prettyprinting JS code but
i still had the 'pre.prettyprint' CSS definition which uses: {white-space:
normal !important;}.
Original comment by sgbeal@googlemail.com
on 23 May 2011 at 3:22
Original issue reported on code.google.com by
sgbeal@googlemail.com
on 23 May 2011 at 3:16