org.syntax.jedit

Class InputHandler.prev_page

java.lang.Object

org.syntax.jedit.InputHandler.prev_page

All Implemented Interfaces:

ActionListener, EventListener

Enclosing class:

InputHandler

public static class InputHandler.prev_page
extends Object
implements ActionListener

Constructor Summary

Constructors

Constructor and Description
prev_page(boolean select)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent evt)

Methods inherited from class java.lang.Object

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

Constructor Detail

prev_page

public prev_page(boolean select)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent evt)

Specified by:

actionPerformed in interface ActionListener