Skip to content

port(upstream#1944): theme refresh keeps the neighbor-graph filter - #40

Merged
dborup merged 3 commits into
masterfrom
codex/port-upstream-1944-ng-filter-theme-refresh
Sep 20, 2026
Merged

dborup merged 3 commits into
masterfrom
codex/port-upstream-1944-ng-filter-theme-refresh

Commits

  1. Commits on Sep 13, 2026

  2. Commits on Sep 20, 2026