Class InputHandler.document_end

java.lang.Object
org.gvsig.utils.console.jedit.InputHandler.document_end
All Implemented Interfaces:
ActionListener, EventListener
Enclosing class:
InputHandler

public static class InputHandler.document_end extends Object implements ActionListener
  • Constructor Details

    • document_end

      public document_end(boolean select)
  • Method Details