Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## org.gjt.sp.jedit.buffer
Class PositionManager

    java.lang.Object
      org.gjt.sp.jedit.buffer.PositionManager

    public class PositionManager

extends java.lang.Object

A class internal to jEdit's document model. You should not use it directly.

Since:
  jEdit 4.2pre3

Constructor Summary
`PositionManager(JEditBuffer buffer)`

Method Summary
`void` | `contentInserted(int offset, int length)`
`void` | `contentRemoved(int offset, int length)`
`javax.swing.text.Position` | `createPosition(int offset)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### PositionManager

    public PositionManager(JEditBuffer buffer)

Method Detail

### createPosition

    public javax.swing.text.Position createPosition(int offset)

### contentInserted

    public void contentInserted(int offset,
                                int length)

### contentRemoved

    public void contentRemoved(int offset,
                               int length)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD