copyWith method

TilingPaneManager copyWith({
  1. String? focusedPaneId,
})

Returns a manager with updated focus.

Implementation

TilingPaneManager copyWith({String? focusedPaneId}) {
  return TilingPaneManager._(
    root: root,
    focusedPaneId: focusedPaneId ?? this.focusedPaneId,
    paneMinWidth: paneMinWidth,
    paneMinHeight: paneMinHeight,
    snapThreshold: snapThreshold,
  );
}