public class ProgressMonitorFunction
extends ContextFunction
This class provides a context function that returns a default progress monitor. This is generally
used near the root of a context tree to provide a reasonable default monitor for cases where more
specific contexts have not provided one.