org.antlr.gunit.swingui
Class WorkSpaceController.TabChangeListener

java.lang.Object
  extended by 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
WorkSpaceController.TabChangeListener()
           
 
Method Summary
 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


Copyright © 2013. All Rights Reserved.