Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
edu.utep.cs.utjml.canica.MenuOptions

Packages that use MenuOptions
edu.utep.cs.utjml.canica Contains the source code for Canica, an IDE for JML. 
edu.utep.cs.utjml.canica.jmleditor Contains the source code to provide a JML editor, using MDI functionality. 
 

Uses of MenuOptions in edu.utep.cs.utjml.canica
 

Methods in edu.utep.cs.utjml.canica with parameters of type MenuOptions
 void Mainable.setEnabledToMenuItems(MenuOptions menuOptions)
          Sets the "setEnabled" properties to the menu items of the main menu
 void Main.setEnabledToMenuItems(MenuOptions menuOptions)
           
 

Uses of MenuOptions in edu.utep.cs.utjml.canica.jmleditor
 

Fields in edu.utep.cs.utjml.canica.jmleditor declared as MenuOptions
 MenuOptions JMLTextPane.menuOptions
          the menu options personalized for this document
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    
UTJML is Copyright (C) 2004-2006 by 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. This release depends on code from the JML project.