|
GATE Version 3.1-2270 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ResourceParametersEditor | |
|---|---|
| gate.gui | |
| Uses of ResourceParametersEditor in gate.gui |
|---|
| Fields in gate.gui declared as ResourceParametersEditor | |
|---|---|
protected ResourceParametersEditor |
SerialControllerEditor.parametersEditor
A component for editing the parameters of the currently selected PR |
|
GATE Version 3.1-2270 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||