org.antlr.gunit.swingui
Class WorkSpaceController.TabChangeListener

java.lang.Object
  org.antlr.gunit.swingui.WorkSpaceController.TabChangeListener

All Implemented Interfaces:

EventListener, ChangeListener

Enclosing class:

WorkSpaceController

public class WorkSpaceController.TabChangeListener
extends Object
implements ChangeListener

Event handler for switching between editor view and script view.

Constructor Summary

WorkSpaceController.TabChangeListener()

Method Summary

void	stateChanged(ChangeEvent evt)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WorkSpaceController.TabChangeListener

public WorkSpaceController.TabChangeListener()

Method Detail

stateChanged

public void stateChanged(ChangeEvent evt)

Specified by:

stateChanged in interface ChangeListener