Uses of Class
gate.gui.ApplicationEditor.ParameterDisjunctionEditor

Packages that use ApplicationEditor.ParameterDisjunctionEditor
gate.gui   
 

Uses of ApplicationEditor.ParameterDisjunctionEditor in gate.gui
 

Constructors in gate.gui with parameters of type ApplicationEditor.ParameterDisjunctionEditor
ApplicationEditor.ParameterDisjunctionEditor.CustomRenderer()