1 Nov 2006 21:40
[ jedit-Plugin Bugs-1575601 ] jdiff not updating each other's diff bars
SourceForge.net <noreply <at> sourceforge.net>
2006-11-01 20:40:41 GMT
2006-11-01 20:40:41 GMT
Plugin Bugs item #1575601, was opened at 2006-10-11 18:00 Message generated for change (Comment added) made by ten8ciousb You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1575601&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: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Nobody/Anonymous (nobody) Summary: jdiff not updating each other's diff bars Initial Comment: If I drag the scrollbar of one side of the diffs, I would expect the diff bars of the OTHER side to be updated, but they are not. Steps to reproduce: drag scroll bar on left pane. Observe that the little black rectangle on the left bar of the right pane is not updated. Drag scroll bar on right pane. Observe that the lines between the two diff bars on the left pane are still(Continue reading)
RSS Feed