Closed GoogleCodeExporter closed 9 years ago
not sure this is fixed, but it is significantly improved.
the UI suggested hasn't been implemented - just improving the conditions
underwhich new output is scrolled into view.
Original comment by m...@glyphic.com
on 30 May 2013 at 6:40
Original comment by m...@glyphic.com
on 15 Jun 2013 at 2:56
Original issue reported on code.google.com by
j...@glyphic.com
on 30 Mar 2013 at 5:06