TilingPaneManager class final
Immutable tiling pane manager with split tree and focused pane id.
Constructors
- TilingPaneManager({String rootPaneId = 'root', int paneMinWidth = 1, int paneMinHeight = 1, int snapThreshold = 2})
-
factory
- TilingPaneManager.withRoot({required PaneTreeNode root, required String focusedPaneId, int paneMinWidth = 1, int paneMinHeight = 1, int snapThreshold = 2})
-
Creates a manager using a prebuilt pane tree. Intended for tests
and advanced users that need deterministic tree fixtures.
factory
Properties
- focusedPaneId → String
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- isValid → bool
-
Returns true if all invariants required by
validationErrorshold.no setter - paneMinHeight → int
-
final
- paneMinWidth → int
-
final
- root → PaneTreeNode
-
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- snapThreshold → int
-
final
Methods
-
copyWith(
{String? focusedPaneId}) → TilingPaneManager - Returns a manager with updated focus.
-
dragResizeSplit(
{required String splitId, required int delta, required int width, required int height}) → TilingPaneManager - Adjusts a split ratio by pointer drag while respecting min sizes.
-
focusByDirection(
{required PaneNavigationDirection direction, required int width, required int height}) → TilingPaneManager - Focuses the nearest neighboring pane in the requested direction.
-
layout(
{required int width, required int height}) → PaneLayout - Computes and returns pane layout for a given terminal size.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
snapTarget(
{required int x, required int y, required int width, required int height}) → PaneSnapTarget? - Returns a snap target if a pointer is near a split divider.
-
splitPane(
{required String targetPaneId, required String splitId, required String splitPaneId, required PaneSplitDirection direction, double ratio = 0.5}) → TilingPaneManager - Splits the target pane into two children and returns a new manager.
-
toString(
) → String -
A string representation of this object.
inherited
-
validationErrors(
) → List< String> - Validates structural invariants and returns one or more descriptive errors.
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited