void setCanvasWorld(List<String> groupFocusPath) { _updateView( () => world = DiagramCanvasInteractionWorld( groupFocusPath: List.unmodifiable(groupFocusPath), ), ); }