#1712 Split window auto-resize disrupted by jdiff plugin

closed-fixed
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
     

Log in to post a comment.