Plugins

Fija sesiones y espacios de trabajo en la parte superior de la barra lateral web con colores de fila por pin, un interruptor en el encabezado y un panel fijado; la versión 0.4.0 añade un organizador de navegación (grupos/tableros de pins), etiquetas, vistas de filtros guardados, resúmenes de salud de sesiones y /goto.

Adds a Workspaces / Recent-sessions switcher above the sidebar list, with a pinned-sessions group, a per-row menu (pin/unpin, copy session id), title filtering, and browser-local pin storage with a one-shot migration from dsh-plugin-pin-session.