ui/src/split/DblBufferUtil.i3

 Copyright (C) 1992, Digital Equipment Corporation                         
 All rights reserved.                                                      
 See the file COPYRIGHT for a full description.                            
                                                                           
 Last modified on Fri Apr  1 16:56:25 PST 1994 by heydon                   


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.