Uses of Class
gate.gui.DocumentEditor.Range

Packages that use DocumentEditor.Range
gate.gui   
 

Uses of DocumentEditor.Range in gate.gui
 

Fields in gate.gui declared as DocumentEditor.Range
private  DocumentEditor.Range DocumentEditor.TypeData.range