public class EditContext
extends java.lang.Object
Constructor and Description |
---|
EditContext() |
Modifier and Type | Method and Description |
---|---|
Extent |
getDestination() |
Pattern |
getFill() |
Region |
getRegion() |
LocalSession |
getSession() |
void |
setDestination(Extent destination) |
void |
setFill(Pattern fill) |
void |
setRegion(Region region) |
void |
setSession(LocalSession session) |
public Extent getDestination()
public void setDestination(Extent destination)
@Nullable public Region getRegion()
public void setRegion(@Nullable Region region)
@Nullable public Pattern getFill()
public void setFill(@Nullable Pattern fill)
@Nullable public LocalSession getSession()
public void setSession(@Nullable LocalSession session)