类 WorkSpaceController.TabChangeListener
- java.lang.Object
-
- org.antlr.gunit.swingui.WorkSpaceController.TabChangeListener
-
- 所有已实现的接口:
java.util.EventListener
,javax.swing.event.ChangeListener
- 封闭类:
- WorkSpaceController
public class WorkSpaceController.TabChangeListener extends java.lang.Object implements javax.swing.event.ChangeListener
Event handler for switching between editor view and script view.
-
-
构造器概要
构造器 构造器 说明 TabChangeListener()
-
方法概要
所有方法 实例方法 具体方法 修饰符和类型 方法 说明 void
stateChanged(javax.swing.event.ChangeEvent evt)
-