|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ResourceParametersEditor | |
| gate.gui | |
| Uses of ResourceParametersEditor in gate.gui |
| Fields in gate.gui declared as ResourceParametersEditor | |
(package private) ResourceParametersEditor |
NewResourceDialog.parametersEditor
|
(package private) ResourceParametersEditor |
PRViewer.editor
|
protected ResourceParametersEditor |
SerialControllerEditor.parametersEditor
A component for editing the parameters of the currently selected PR |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||