Closed GoogleCodeExporter closed 9 years ago
note: similar issue to 428
Original comment by CodyPrec...@gmail.com
on 2 Feb 2010 at 2:54
Fixed
* Walk document and expand all code blocks before turning off the folding
margin.
Original comment by CodyPrec...@gmail.com
on 5 Feb 2010 at 11:59
Original issue reported on code.google.com by
sebastie...@gmail.com
on 2 Feb 2010 at 10:26