ui/src/split/DblBufferUtil.i3


Copyright (C) 1994, Digital Equipment Corp.

INTERFACE DblBufferUtil;

IMPORT Batch;

PROCEDURE Tighten(ba: Batch.T);
This has the same specification as BatchUtil.Tighten, but works harder to make GetClip(ba) small.

END DblBufferUtil.