INTERFACETextSubsPaneUpdater ; IMPORT TextSubs; IMPORT PaneManVBT; TYPE T <: Public; Public = PaneManVBT.PaneUpdater OBJECT METHODS init(): T; setSubs(subs: TextSubs.T); (* if not called from same thread as "apply", must call "setSubs" and "apply" with "paneMan.mu" locked. *) END; END TextSubsPaneUpdater.