Add plugin navigation primitives - #2005

Merged

ymichael merged 18 commits into

mainfrom

bb/implement-plugin-navigation-primitives-thr_9rqwy7pmsd

Aug 20, 2026

Commits on Aug 20, 2026

Add shared plugin URL navigation
ymichael
committed
8ba55a8
Add shared plugin file navigation
ymichael
committed
4e7cce8
Stabilize lazy file navigation coverage
ymichael
committed
f7de535
Add generic fixed-tab navigation
ymichael
committed
d882872
Fix plugin navigation lint failures
ymichael
committed
e9d524c
Require explicit fixed tab owners
ymichael
committed
e6ab42e
Migrate all first-party plugin navigation links
ymichael
committed
d1e9b81
Prove core Diff uses generic fixed-tab routing
ymichael
committed
a240496
Consolidate secondary panel file opening
ymichael
committed
5cd3e33
Share plugin panel full-region policy
ymichael
committed
d11f91d
Share plugin page full-region panel policy
ymichael
committed
1fdf488
fix(app): remove duplicate plugin panel padding
ymichael
committed
696986f
fix(github): align plugin panel padding
ymichael
committed
91984d5
fix(plugins): align full-region panel padding
ymichael
committed
d96b688
fix(plugins): retain fixed tab targets for app session
ymichael
committed
56c6551
perf(app): trim fixed tab target state
ymichael
committed
9a8d74a
fix(plugins): preserve optional file opener hosts
ymichael
committed
1875021
fix(github): keep issue details in main page
ymichael
committed
d68a893