cadrumo.entrypoints.tui.declarations.overview module

Declarations landing over safe natural coordinates.

class DeclarationsOverviewScreen(controller, *, id='declarations-overview-screen')[source]

Bases: DeclarationsWorkspaceScreen

List local declaration facts without implying filing or AEAT state.

Parameters:
IS_WORKSPACE_OVERVIEW: ClassVar[bool]

Whether Back from this body leaves the workspace rather than returning to its overview.

compose()[source]

Called by Textual to create child widgets.

This method is called when a widget is mounted or by setting recompose=True when calling [refresh()][textual.widget.Widget.refresh].

Note that you don’t typically need to explicitly call this method.

Return type:

Iterable[Widget]

Example

def compose(self) -> ComposeResult:
    yield Header()
    yield Label("Press the button below:")
    yield Button()
    yield Footer()
on_mount()[source]

Populate safe natural-coordinate declaration rows.

Return type:

None

on_data_table_row_selected(event)[source]

Route a navigation row or invoke the injected declaration handoff.

Return type:

None

Parameters:

event (RowSelected)

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class DeclarationsModeloWorkspaceLauncherScreen(controller)[source]

Bases: DeclarationsOverviewScreen

Select a declaration and open its injected existing Modelo workspace.

Parameters:

controller (DeclarationsWorkspaceController)

IS_WORKSPACE_OVERVIEW: ClassVar[bool]

Whether Back from this body leaves the workspace rather than returning to its overview.

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.