devkit_ui.pages.run.navigation_sidebar

Classes

NavigationSidebar(*args, **kwargs)

class devkit_ui.pages.run.navigation_sidebar.NavigationSidebar(*args: Any, **kwargs: Any)[source]

Bases: card

__init__(global_store: GlobalViewModel, topo_state: Topo, on_go: Callable[[], None], on_cancel: Callable[[], None], on_delete: Callable[[], Awaitable[None] | None], on_select: Callable[[str], None])[source]

Initialize the navigation sidebar and bind its controls to the run state.

Parameters:

  • global_store (GlobalViewModel) – Global application state used for emergency-stop handling.

  • topo_state (RunViewModel.Topo) – Run state containing node selection and navigation statuses.

  • on_go (Callable[[], None]) – Callback invoked to start navigation.

  • on_cancel (Callable[[], None]) – Callback invoked to cancel navigation.

  • on_delete (Callable[[], Awaitable[None] | None]) – Callback invoked to delete the selected node.

  • on_select (Callable[[str], None]) – Callback invoked with the name of the selected node.

render_nodes(nodes: Iterable, selected_node: str | None) → None[source]

Render the available nodes as a sorted, selectable list.

Parameters:

  • nodes (Iterable) – Nodes to display.

  • selected_node (str | None) – Name of the currently selected node.