org.bounce.text
Class Fold
java.lang.Object
org.bounce.text.Fold
class Fold
- extends java.lang.Object
Representation of a Folded area.
- Version:
- $Revision: 1.4 $, $Date: 2008/04/16 19:36:18 $
- Author:
- Edwin Dankert
|
Constructor Summary |
Fold(javax.swing.text.Element start,
javax.swing.text.Element end)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FOLD_LIST_ATTRIBUTE
static final java.lang.String FOLD_LIST_ATTRIBUTE
- See Also:
- Constant Field Values
FOLDS_UPDATED_ATTRIBUTE
static final java.lang.String FOLDS_UPDATED_ATTRIBUTE
- See Also:
- Constant Field Values
Fold
public Fold(javax.swing.text.Element start,
javax.swing.text.Element end)
getStart
public int getStart()
- Returns:
- the starting line of the fold.
getEnd
public int getEnd()
- Returns:
- the ending line of the fold.
contains
public boolean contains(int index)
add
public void add(Fold fold)
remove
public void remove(int start,
int end)
getChildren
public java.util.List<Fold> getChildren()
update
public void update()
isValid
public boolean isValid()
shallowCleanup
public void shallowCleanup()
cleanup
public void cleanup()
Copyright 2002-2002-2010 Edwin Dankert. All Rights Reserved.