Package 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	Description
TabChangeListener()

Method Summary

Modifier and Type	Method	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

TabChangeListener

public TabChangeListener()

Method Detail

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent evt)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener