#10 No refresh after running JDiffPlugIn

closed-out-of-date
Andre Kaplan
None
5
2006-10-11
2002-02-27
Anonymous
No

Using jEdit 4.0pre6, JDiffPlugIn 1.3 on Windows 2000.
Start a diff by clicking on Dual Diff using the
PlugIns->JDiff dropdown. Works fine.
Normally I end the diff by using Ctrl-1 to return to
one window. This leaves jEdit in a strange state
where it won't refresh. Minimizing and restoring
blanks the window. Slowly moving the cursor over the
icons causes them to appear. Have to restart jEdit to
clean it up.

If instead, I deselect Dual Diff first before using
Ctrl-1, then it refreshes as expected.

Discussion

  • Slava Pestov
    Slava Pestov
    2003-05-29

    • labels: 102671 -->
    • milestone: 101608 -->
     
  • Brad Mace
    Brad Mace
    2003-06-17

    • assigned_to: nobody --> akaplan
     
  • Alan Ezust
    Alan Ezust
    2006-10-11

    • status: open --> closed-out-of-date
     
  • Alan Ezust
    Alan Ezust
    2006-10-11

    Logged In: YES
    user_id=935841

    This does not happen with 4.3pre7 and jdiff 1.5.0