public static class DetailView.PreviewEditorState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static DetailView.PreviewEditorState |
EMPTY |
Constructor and Description |
---|
PreviewEditorState(VirtualFile file,
LogicalPosition navigate,
TextAttributes attributes) |
Modifier and Type | Method and Description |
---|---|
static DetailView.PreviewEditorState |
create(VirtualFile file,
int line) |
static DetailView.PreviewEditorState |
create(VirtualFile file,
int line,
TextAttributes attributes) |
boolean |
equals(java.lang.Object o) |
TextAttributes |
getAttributes() |
VirtualFile |
getFile() |
LogicalPosition |
getNavigate() |
int |
hashCode() |
public static DetailView.PreviewEditorState EMPTY
public PreviewEditorState(VirtualFile file, LogicalPosition navigate, TextAttributes attributes)
public static DetailView.PreviewEditorState create(VirtualFile file, int line)
public static DetailView.PreviewEditorState create(VirtualFile file, int line, TextAttributes attributes)
public VirtualFile getFile()
public LogicalPosition getNavigate()
public TextAttributes getAttributes()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object