DockManager

Category: UI

Source: dock_manager.dart

Classes

DockInsets

Constructor

const DockInsets({
    this.left = 0,
    this.top = 0,
    this.right = 0,
    this.bottom = 0,
  })

Properties

Property	Type	Description
left	int
top	int
right	int
bottom	int

DockViewport

Constructor

const DockViewport({
    required this.outputTop,
    required this.outputBottom,
    required this.outputLeft,
    required this.outputRight,
    required this.overlayTop,
  })

Properties

Property	Type	Description
outputTop	int
outputBottom	int
outputLeft	int
outputRight	int
overlayTop	int
outputWidth	int get
outputHeight	int get
outputWidth	int get
outputHeight	int get

DockRect

Constructor

const DockRect({
    required this.row,
    required this.col,
    required this.width,
    required this.height,
  })

Properties

Property	Type	Description
row	int
col	int
width	int
height	int

DockRenderPlan

Constructor

const DockRenderPlan({
    required this.panel,
    required this.rect,
    required this.lines,
  })

Properties

Property	Type	Description
panel	DockedPanel
rect	DockRect
lines	List<String>

DockManager

Properties

Property	Type	Description
panels	List<DockedPanel> get
visiblePanels	List<DockedPanel> get
hasVisibleFloatingPanels	bool get
panels	List<DockedPanel> get
visiblePanels	List<DockedPanel> get
hasVisibleFloatingPanels	bool get

Methods

void add(DockedPanel panel)

void remove(DockedPanel panel)

`DockInsets resolveInsets({

required int terminalColumns,
required int terminalRows,

})`

`List<DockRenderPlan> buildRenderPlans({

required DockViewport viewport,
required int terminalColumns,

})`

bool handleEvent(TerminalEvent event)