org.antlr.gunit.swingui

Class WorkSpaceController.TabChangeListener

java.lang.Object

org.antlr.gunit.swingui.WorkSpaceController.TabChangeListener

All Implemented Interfaces:

java.util.EventListener, javax.swing.event.ChangeListener

Enclosing class:

WorkSpaceController

public class WorkSpaceController.TabChangeListener
extends java.lang.Object
implements javax.swing.event.ChangeListener

Event handler for switching between editor view and script view.

Constructor Summary

Constructors

Constructor and Description
WorkSpaceController.TabChangeListener()

Method Summary

Methods

Modifier and Type	Method and Description
void	stateChanged(javax.swing.event.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(javax.swing.event.ChangeEvent evt)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener