org.jeditor.gui

Class InputHandler.document_end

java.lang.Object

org.jeditor.gui.InputHandler.document_end

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

Enclosing class:

InputHandler

public static class InputHandler.document_end
extends java.lang.Object
implements java.awt.event.ActionListener

Constructor Summary

Constructors

Constructor and Description
document_end(boolean select)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent evt)

Methods inherited from class java.lang.Object

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

Constructor Detail

document_end

public document_end(boolean select)

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent evt)

Specified by:

actionPerformed in interface java.awt.event.ActionListener