public class FocusModeModel extends java.lang.Object implements Disposable
Modifier and Type | Class and Description |
---|---|
static interface |
FocusModeModel.FocusModeModelListener |
Disposable.Parent
Modifier and Type | Field and Description |
---|---|
static Key<TextAttributes> |
FOCUS_MODE_ATTRIBUTES |
static int |
LAYER |
Constructor and Description |
---|
FocusModeModel(EditorImpl editor) |
Modifier and Type | Method and Description |
---|---|
void |
addFocusSegmentListener(FocusModeModel.FocusModeModelListener newListener,
Disposable disposable) |
void |
applyFocusMode(Caret caret) |
void |
clearFocusMode() |
FocusRegion |
createFocusRegion(int start,
int end)
Find or create and get new focus region.
|
void |
dispose()
Usually not invoked directly, see class javadoc.
|
FocusRegion |
findFocusRegion(int start,
int end) |
RangeMarker |
getFocusModeRange() |
boolean |
isInFocusMode(RangeMarker region) |
void |
removeFocusRegion(FocusRegion marker) |
public static final Key<TextAttributes> FOCUS_MODE_ATTRIBUTES
public static final int LAYER
public FocusModeModel(EditorImpl editor)
public RangeMarker getFocusModeRange()
public void applyFocusMode(Caret caret)
public void clearFocusMode()
public boolean isInFocusMode(RangeMarker region)
public FocusRegion createFocusRegion(int start, int end)
public FocusRegion findFocusRegion(int start, int end)
public void removeFocusRegion(FocusRegion marker)
public void addFocusSegmentListener(FocusModeModel.FocusModeModelListener newListener, Disposable disposable)
public void dispose()
Disposable
dispose
in interface Disposable