(* Copyright (C) 1992, Digital Equipment Corporation                         *)
(* All rights reserved.                                                      *)
(* See the file COPYRIGHT for a full description.                            *)
(*                                                                           *)
(* Last modified on Sat Aug  1  1:07:08 PDT 1992 by meehan *)
(*      modified on Tue Jun 16 13:08:02 PDT 1992 by muller *)
(*      modified on Mon Jun 15 21:49:44 1992 by mhb *)

(* A "ZBackgroundVBT" is a filter that should be put around the
   background child of a "ZSplit".  This filter will clip
   highlighting that takes place within the background child from
   the other children of the "ZSplit".  The implementation is
   merely a "HighlightVBT", but it's easier to remember the
   purpose of that highlighter if it's called a "ZBackgroundVBT"
   instead. *)

INTERFACE ZBackgroundVBT;

IMPORT HighlightVBT;

TYPE
  T = HighlightVBT.T BRANDED OBJECT END;

END ZBackgroundVBT.