Snapshot 20120704 fixed the printing issuing. Thanks Terry! I will report more details on the scroll jumping issue in a new post.
On Tuesday, July 3, 2012 11:11:40 AM UTC-7, F.S. wrote: > > I downloaded the 20120703 snapshot from the website. Your fix didn't seem > to make into it. I will try again tomorrow. In addition I noticed the > following issues: > > For the newest release (Leo 4.11 devel, build 5416) whenever I attempt to > move the cursor in the edit pane to the last few lines (400 lines total) > the scroll would jump to recenter the focus, which is both a bit jarring > and unfortunately puts the cursor out of view. I can re-scroll to bring the > cursor and the last lines back into view. This quirk does not seem to exist > for Leo 4.10. > > Leo 4.10 (Leo 4.10 final, build 5020) seems to be displaying lines > incorrectly in the edit pane. Line count seems to be still correct. But > some lines are not displayed and sometimes lines are jumbled. This seems to > be fixed in the 4.11 so is probably a known issue. > > I am using: > Python 2.7.3, qt version 4.8.2 > Windows 6, 1, 7601, 2, Service Pack 1 > > On Tuesday, July 3, 2012 5:47:53 AM UTC-7, Terry wrote: >> >> On Mon, 2 Jul 2012 22:13:36 -0700 (PDT) >> "F.S." wrote: >> >> > I seem to be getting line breaks inserted after each item in the print >> > statement: that is "print a, b, c" would insert line breaks after a and >> b >> >> I just fixed this on the trunk, it should appear at >> http://www.greygreen.org/leo/ tomorrow if you don't use bzr. >> >> commit log: >> >> fix behavior of >> >> print 1,2,3 >> >> when g.redirectStdout() is used >> >> the .write() method on the redirect class now sets from_redirect=True >> so the qt log put() knows not to use .append() which wraps output in >> a >> <p> element. >> >> all unit tests pass. >> >> Cheers -Terry >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To view this discussion on the web visit https://groups.google.com/d/msg/leo-editor/-/CanGBjuzSgQJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
