Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: TextSubsPaneUpdater.i3,v 1.2 2001-09-19 15:30:31 wagner Exp $
T <: Public;
Public = PaneManVBT.PaneUpdater OBJECT
(* if not called from same thread as "apply",
must call "setSubs" and "apply" with "paneMan.mu" locked. *)