Uses of Class
gate.gui.ResourceParametersEditor

Packages that use ResourceParametersEditor
gate.gui   
 

Uses of ResourceParametersEditor in gate.gui
 

Fields in gate.gui declared as ResourceParametersEditor
(package private)  ResourceParametersEditor SerialControllerEditor.parametersEditor
          A component for editing the parameters of the currently selected PR
(package private)  ResourceParametersEditor NewResourceDialog.parametersEditor
           
 

Constructors in gate.gui with parameters of type ResourceParametersEditor
ResourceParametersEditor.ParametersTableModel()
           
ResourceParametersEditor.ParameterDisjunctionRenderer()
           
ResourceParametersEditor.ParameterValueRenderer()
           
ResourceParametersEditor.ParameterDisjunctionEditor()
           
ResourceParametersEditor.ParameterValueEditor()