JET

Uses of Interface
edu.utep.cs.jet.gui.editor.LineChangeListener

Packages that use LineChangeListener
edu.utep.cs.jet.gui.editor Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring. 
 

Uses of LineChangeListener in edu.utep.cs.jet.gui.editor
 

Methods in edu.utep.cs.jet.gui.editor with parameters of type LineChangeListener
 void Editor.addLineChangeListener(LineChangeListener l)
          Registers the given line change listener.
 void DefaultEditor.addLineChangeListener(LineChangeListener l)
          Registers the given line change listener.
 


JET

JET is Copyright (C) 2005-2008 by The University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.