Ubuntu 12.04 and 12.10 with Unity (also Windows 7). jEdit 5.0.0 and JDiff 3.3.0. If you split the window into 2 panes vertically (a left and a right pane), then turn on JDiff dual diff, then turn it off, then resize the jEdit window, the 2 panes originally created are still there after the dual diff is off, but they do not 'auto resize'. All the changes to the window width are forced upon the right pane; the left pane size does not change. Expected behavior after the dual diff would be the same as before: namely resizing the window wider/narrower should cause the 2 panes to each resize equally, maintaining equal widths.
Log in to post a comment.