Uses of Class
ptolemy.vergil.actor.DocManager

Packages that use DocManager

Package	Description
ptolemy.vergil.actor	Actor specific GUI packages.

Uses of DocManager in ptolemy.vergil.actor

Methods in ptolemy.vergil.actor that return DocManager

Modifier and Type	Method and Description
DocManager	DocManager.getNextTier() Return next tier, if there is one.