workspacewidget implements IModelObserver now