|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use EditExternalDialog.FrameState | |
|---|---|
| edu.rice.cs.drjava.ui | The ui package contains classes for the default user interface
for DrJava. |
| Uses of EditExternalDialog.FrameState in edu.rice.cs.drjava.ui |
|---|
| Fields in edu.rice.cs.drjava.ui declared as EditExternalDialog.FrameState | |
|---|---|
protected EditExternalDialog.FrameState |
EditExternalDialog._lastState
Last frame state. |
| Methods in edu.rice.cs.drjava.ui that return EditExternalDialog.FrameState | |
|---|---|
EditExternalDialog.FrameState |
EditExternalDialog.getFrameState()
Returns the last state of the frame, i.e. |
| Methods in edu.rice.cs.drjava.ui with parameters of type EditExternalDialog.FrameState | |
|---|---|
void |
EditExternalDialog.setFrameState(EditExternalDialog.FrameState ds)
Sets state of the frame, i.e. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||