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

protected ResourceParametersEditor	PRViewer.editor
(package private) ResourceParametersEditor	NewResourceDialog.parametersEditor
protected ResourceParametersEditor	SerialControllerEditor.parametersEditor A component for editing the parameters of the currently selected PR