Frontend API

export interface WorkspaceListener

Defines a listener interface in order to subscribe to workspace’s changes.

Created by antoine on 20/06/17.

updateWorkspace (workspace: Workspace): void

Implement this method to react to workspace’s updates. It will be called each time a change occur on the workspace data.

• Parameters: workspace — the new workspace instance