Menu
▾
▴
[ jEdit-devel ] [ jedit-Patches-3567959 ] Fix 2832769, 2998294, and 3193168
|
From: SourceForge.net <no...@so...> - 2012-10-13 16:27:18
|
Patches item #3567959, was opened at 2012-09-15 09:03 Message generated for change (Comment added) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3567959&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: texteditor Group: None >Status: Closed >Resolution: Accepted Priority: 8 Private: No Submitted By: Thomas Meyer (thomasmey) Assigned to: Alan Ezust (ezust) Summary: Fix 2832769, 2998294, and 3193168 Initial Comment: Hi, attached patch fixes bug 2998294 and maybe other scroll related bugs. The patch encapsulates the Anchor class and reworks the event code of "preContentRemoved" and "contentInserted". Also it adds some more comments of the usage of the fields "scrollLine" and "physicalLine" in the Anchor class as FirstLine and ScrollLineCount have very different semantics on these fields. As a side effect the update of the screen line count per physical line is now done directly instead of the doDelayedUpdate() method. Please review and test. ---------------------------------------------------------------------- >Comment By: Alan Ezust (ezust) Date: 2012-10-13 09:27 Message: Thanks for your contribution. Relevant commits: 22361 and 22363 (changelog entry) ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-10-06 07:50 Message: Testing now... So far so good. You can commit it yourself when it is ready. And also please open a merge request so it ends up in 5.0.x branch. I think I want to slide this in before releasing 5.0. ---------------------------------------------------------------------- Comment By: Thomas Meyer (thomasmey) Date: 2012-10-04 10:48 Message: v5 - fix folding ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-10-03 08:19 Message: I see there is a FIXME comment on 1265 and another one on 474. And you told me there were some other bugs in it you wanted to fix. So I am waiting for v5 ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-09-24 11:06 Message: thank you *so much* for fixing 3193168 too! I really hated that bug. Testing v4 now. Definitely resolves those two bugs for me. ---------------------------------------------------------------------- Comment By: Thomas Meyer (thomasmey) Date: 2012-09-24 10:56 Message: new version also fixes "NPE when scrolling to top after multiline delete (soft wrap) - ID: 3193168" ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-09-23 10:24 Message: I apologize! I believe I was confused about which jar I was testing. On second test, it seems your v3 patch fixes the problem and latest daily build still reproduces the issue. So ignore my previous comment. ---------------------------------------------------------------------- Comment By: Thomas Meyer (thomasmey) Date: 2012-09-23 10:05 Message: 1.) "I was also testing with soft wrap. I get a BeanShellAction: java.lang.NullPointerException 9:34:39 AM [AWT-EventQueue-0] [error] BeanShellAction: at org.gjt.sp.jedit.textarea.TextArea.scrollTo(TextArea.java:853) when I test v3 of your patch against tescase described in 2998294." Can you describe step by step how did you get the stack trace with the v3 patch applied? Do you have some special options set or something like this? Can you please attach the complete stack trace? 2.) "Without your patch, I can not reproduce 2998294 anymore." Could you please double check about this? I still can reproduce the problem with the current trunk. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-09-23 09:36 Message: I was also testing with soft wrap. I get a BeanShellAction: java.lang.NullPointerException 9:34:39 AM [AWT-EventQueue-0] [error] BeanShellAction: at org.gjt.sp.jedit.textarea.TextArea.scrollTo(TextArea.java:853) when I test v3 of your patch against tescase described in 2998294. Without your patch, I can not reproduce 2998294 anymore. ---------------------------------------------------------------------- Comment By: Thomas Meyer (thomasmey) Date: 2012-09-23 09:24 Message: Hi shlomy, sorry I did forget to test the soft wrap case. Please test v3 of my patch. Hopefully the new version fixes all problems. with kind regards thomas ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2012-09-17 23:35 Message: Furthermore, the original bug does not reproduce with the trunk version of jEdit with a single Undo. However it is reproduced with a single Undo with the patch. ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2012-09-17 23:31 Message: v2 doesn't seem to fix the bug. The reproduction steps specified in bug 2998294 still reproduce the problem. I haven't looked at the code yet, only tried the patch. ---------------------------------------------------------------------- Comment By: Thomas Meyer (thomasmey) Date: 2012-09-16 02:40 Message: v01 had still some bugs. hopefully I got everything right now. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2012-09-15 09:34 Message: I hope that other admins also test this patch, as I am planning to. It's a big patch. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3567959&group_id=588 |