#1712 Split window auto-resize disrupted by jdiff plugin

closed-fixed
Dale Anson
None
5
2013-06-06
2013-05-24
tdir
No

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.

Discussion

  • Dale Anson
    Dale Anson
    2013-05-28

    • assigned_to: nobody --> daleanson
     
  • Dale Anson
    Dale Anson
    2013-05-28

    Thanks, I can reproduce this, I'll take a look.

     
  • Dale Anson
    Dale Anson
    2013-06-06

    Fixed in revision 23036.

     
  • Dale Anson
    Dale Anson
    2013-06-06

    • status: open --> closed-fixed