[ jEdit-devel ] [ jedit-Bugs-2814850 ] Caret Timer keeps event loop running when parent is disposed

[SourceForge.net <no...@so...>]

Bugs item #2814850, was opened at 2009-06-30 14:05
Message generated for change (Settings changed) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2814850&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: editor core
Group: minor bug
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: servertude (servertude)
Assigned to: Nobody/Anonymous (nobody)
Summary: Caret Timer keeps event loop running when parent is disposed

Initial Comment:
Normally, if dispose is called on a Swing Frame, and there are no more open frames, the Swing Event loop will shut down and the application will terminate.

The StandaloneTextArea sc of TextArea does not allow this behavior to occur, since the Caret Timer is still running the event loop will not be shutdown.

Fix is to call caretTimer.stop in removeNotify of TextArea 

line 4503 : add    caretTimer.stop();

This allows the Swing event loop to shutdown when all visible frames have been disposed


----------------------------------------------------------------------

>Comment By: Alan Ezust (ezust)
Date: 2009-07-02 09:32

Message:
fixed by patch 2814857.


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2814850&group_id=588