[Javapathfinder-devel] SF.net SVN: javapathfinder: [235] trunk

[<pcm...@us...>]

Revision: 235
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=235&view=rev
Author:   pcmehlitz
Date:     2007-02-07 15:31:53 -0800 (Wed, 07 Feb 2007)

Log Message:
-----------
* context specific TextPanel extensions for the Inspector

* used that in the SCInspector to log to a dedicated logConsole, and to
load the sources of the statechart class

* had to slightly extend the LogManager for this so that the output
target for our LogHandler can be set explicitly (good we only have one)

* minor corrections & extensions for the Listener docu, due to popular request

Modified Paths:
--------------
    trunk/doc/Search-_and_VMListeners.html
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SCInspector.java
    trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
    trunk/src/gov/nasa/jpf/util/Inspector.java
    trunk/src/gov/nasa/jpf/util/LogHandler.java
    trunk/src/gov/nasa/jpf/util/LogManager.java
    trunk/src/gov/nasa/jpf/util/Source.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.