public class FoldingRegionWindow extends java.lang.Object implements FoldRegion
EMPTY_ARRAYBY_START_OFFSETBY_START_OFFSET_THEN_END_OFFSET| Modifier and Type | Method and Description |
|---|---|
void |
dispose() |
void |
documentChanged(DocumentEvent e) |
FoldRegionImpl |
getDelegate() |
Document |
getDocument()
Returns the document to which the marker belongs.
|
Editor |
getEditor() |
int |
getEndOffset()
Returns the end offset of the text range covered by the marker.
|
FoldingGroup |
getGroup() |
long |
getId() |
static FoldingRegionWindow |
getInjectedRegion(FoldRegion hostRegion) |
java.lang.String |
getPlaceholderText()
Returns the placeholder text displayed when the fold region is collapsed.
|
int |
getStartOffset()
Returns the start offset of the text range covered by the marker.
|
<T> T |
getUserData(Key<T> key) |
boolean |
isExpanded()
Checks if the fold region is currently expanded.
|
boolean |
isGreedyToLeft() |
boolean |
isGreedyToRight() |
boolean |
isGutterMarkEnabledForSingleLine() |
boolean |
isValid()
Checks if the marker has been invalidated by deleting the entire fragment of text
containing the marker.
|
<T> void |
putUserData(Key<T> key,
T value)
Add a new user data value to this object.
|
void |
setExpanded(boolean expanded)
Expands or collapses the fold region.
|
void |
setGreedyToLeft(boolean greedy)
Sets the value indicating whether the text added exactly at the beginning of the
marker should be included in the text range of the marker.
|
void |
setGreedyToRight(boolean greedy)
Sets the value indicating whether the text added exactly at the end of the
marker should be included in the text range of the marker.
|
void |
setGutterMarkEnabledForSingleLine(boolean value)
By default, gutter mark (for collapsing/expanding the region using mouse) is not shown for a folding region, if it's contained within
a single document line.
|
void |
setPlaceholderText(java.lang.String text)
Updates region's placeholder text.
|
boolean |
shouldNeverExpand()
If
true, this region is always in a collapsed state, FoldRegion.setExpanded(boolean) does nothing for it. |
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitareInnerHighlightersMuted, setInnerHighlightersMuteddispose, getDocument, getEndOffset, getStartOffset, isGreedyToLeft, isGreedyToRight, isValid, setGreedyToLeft, setGreedyToRightgetUserData, putUserDatapublic boolean isExpanded()
FoldRegionisExpanded in interface FoldRegionpublic void setExpanded(boolean expanded)
FoldRegionsetExpanded in interface FoldRegionexpanded - true if the region should be expanded, false otherwise.public java.lang.String getPlaceholderText()
FoldRegiongetPlaceholderText in interface FoldRegionpublic Editor getEditor()
getEditor in interface FoldRegionpublic FoldingGroup getGroup()
getGroup in interface FoldRegionpublic boolean shouldNeverExpand()
FoldRegiontrue, this region is always in a collapsed state, FoldRegion.setExpanded(boolean) does nothing for it. No marker is displayed
in gutter for such a region.shouldNeverExpand in interface FoldRegionFoldingModelEx.createFoldRegion(int, int, String, FoldingGroup, boolean)public FoldRegionImpl getDelegate()
public void setGutterMarkEnabledForSingleLine(boolean value)
FoldRegionsetGutterMarkEnabledForSingleLine in interface FoldRegionFoldRegion.isGutterMarkEnabledForSingleLine(),
EditorSettings.setAllowSingleLogicalLineFolding(boolean)public boolean isGutterMarkEnabledForSingleLine()
isGutterMarkEnabledForSingleLine in interface FoldRegionFoldRegion.setGutterMarkEnabledForSingleLine(boolean)public void setPlaceholderText(java.lang.String text)
FoldRegionFoldingModel.runBatchFoldingOperation(Runnable), like any other
operations with fold regions.setPlaceholderText in interface FoldRegionpublic static FoldingRegionWindow getInjectedRegion(FoldRegion hostRegion)
public Document getDocument()
RangeMarkergetDocument in interface RangeMarkerpublic int getStartOffset()
RangeMarkergetStartOffset in interface RangeMarkergetStartOffset in interface Segmentpublic int getEndOffset()
RangeMarkergetEndOffset in interface RangeMarkergetEndOffset in interface Segmentpublic boolean isValid()
RangeMarkerisValid in interface RangeMarkerpublic void setGreedyToLeft(boolean greedy)
RangeMarkersetGreedyToLeft in interface RangeMarkergreedy - true if text added at the beginning is included in the range, false otherwise.public void setGreedyToRight(boolean greedy)
RangeMarkersetGreedyToRight in interface RangeMarkergreedy - true if text added at the end is included in the range, false otherwise.public <T> T getUserData(Key<T> key)
getUserData in interface UserDataHolderpublic <T> void putUserData(Key<T> key, T value)
UserDataHolderputUserData in interface UserDataHolderpublic void documentChanged(DocumentEvent e)
documentChanged in interface RangeMarkerExpublic long getId()
getId in interface RangeMarkerExpublic boolean isGreedyToRight()
isGreedyToRight in interface RangeMarkerpublic boolean isGreedyToLeft()
isGreedyToLeft in interface RangeMarkerpublic void dispose()
dispose in interface RangeMarkerpublic java.lang.String toString()
toString in class java.lang.Object