Uses of Interface
ides.api.core.WorkspaceSubscriber

Packages that use WorkspaceSubscriber

ides.api.core

Uses of WorkspaceSubscriber in ides.api.core

Methods in ides.api.core with parameters of type WorkspaceSubscriber

void	Workspace.addSubscriber(WorkspaceSubscriber subscriber) Attaches the given subscriber to this publisher.
void	Workspace.removeSubscriber(WorkspaceSubscriber subscriber) Removes the given subscriber to this publisher.