Package com.intellij.openapi.editor.ex.util

Class EditorScrollingPositionKeeper.ForDocument

java.lang.Object

com.intellij.openapi.editor.ex.util.EditorScrollingPositionKeeper.ForDocument

All Implemented Interfaces:

Disposable

Enclosing class:

EditorScrollingPositionKeeper

public static class EditorScrollingPositionKeeper.ForDocument
extends java.lang.Object
implements Disposable

Same as EditorScrollingPositionKeeper, but tracking all editors for a given document.

Nested Class Summary

Nested classes/interfaces inherited from interface com.intellij.openapi.Disposable

Disposable.Parent

Constructor Summary

Constructors

Constructor and Description
ForDocument(Document document)

Method Summary

Modifier and Type	Method and Description
void	dispose() Usually not invoked directly, see class javadoc.
void	restorePosition(boolean stopAnimation)
void	savePosition()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ForDocument

public ForDocument(Document document)

Method Detail

savePosition

public void savePosition()

restorePosition

public void restorePosition(boolean stopAnimation)

dispose

public void dispose()

Description copied from interface: Disposable

Usually not invoked directly, see class javadoc.

Specified by:

dispose in interface Disposable