public class EditorState
extends Object
Constructor and Description |
---|
EditorState(List<Editor> editors)
Create a fresh editor state object from the default screen device and
set its placement relative to the last opened window.
|
Modifier and Type | Method and Description |
---|---|
String |
toString() |
public EditorState(List<Editor> editors)
editors
- List of active editor objects