JET

Uses of Class
edu.utep.cs.jet.gui.Preference

Packages that use Preference
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 Preference in edu.utep.cs.jet.gui.editor
 

Subclasses of Preference in edu.utep.cs.jet.gui.editor
 class Preference
          A utility class to store various user options for the editor.
 


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.