From: <fra...@us...> - 2009-03-06 05:35:13
|
Revision: 1254 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1254&view=rev Author: frankrimlinger Date: 2009-03-06 05:35:12 +0000 (Fri, 06 Mar 2009) Log Message: ----------- Fixed E-Z ConcurrentModificationException, which was just a iterator issue. Completed session for itsAWrap.main() and replayed successfully. Noticed that typing in the log window while the worker is sending text causes crashes. Now, the worker contributions are already serialized, so the burden is on the gui thread to play ball. To this end, added KeyListener interface to LogWindow and post the corresponding and handled KeyEvent.KEY_TYPED by posting in a GumboCommand for serialized insertion. I learned how to do this in the Sun Tutorial, "Adding a Key Listener". Pretty cool. Anyway, typing in the Log window is no longer crashing the app. But this is just the tip of the iceberg. The big problem is mousedown, which crashes if the worker is pounding on the log window. But I need this in order to select and delete text for readability. SO, need a MouseListener, and need to handle mouse down with setCaret and mouse up with moveCaret, or somthing like that. This needs more thought. Modified Paths: -------------- branches/mango/extensions/mango/Mango/src/mango/control/window/LogWindow.java branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip branches/mango/extensions/mango/local/franklocal/sessions/a.zip Added Paths: ----------- branches/mango/extensions/mango/Mango/src/mango/workstation/msg/AddTextCommand.java branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/a.zip branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |