Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
GATE
Version 3.1-2270
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
debugger.gui.editor.DocumentEditor

Packages that use DocumentEditor
debugger.gui   
 

Uses of DocumentEditor in debugger.gui
 

Methods in debugger.gui that return DocumentEditor
static DocumentEditor GuiFactory.getDocumentEditor()
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
GATE
Version 3.1-2270
 PREV   NEXT FRAMES    NO FRAMES