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 PRViewer.editor
           
(package private)  ResourceParametersEditor SerialControllerEditor.parametersEditor
          A component for editing the parameters of the currently selected PR
(package private)  ResourceParametersEditor NewResourceDialog.parametersEditor