fix(desktop): reorder repo tabs via pointer events (mouse, touch, pen) + keyboard a11y#121

Merged

devlint merged 5 commits into

mainfrom

fix/tab-reorder-pointer-drag

Jul 10, 2026

Commits on Jul 8, 2026

fix(desktop): réordonne les onglets via événements pointeur
Guillaume Huard Hughes
committed
style(desktop): rendre les onglets repo inactifs plus visibles
Guillaume Huard Hughes
committed

Commits on Jul 9, 2026

fix(desktop): harden pointer-based tab drag against code-review findings
Laurent Guitton
committed
fix(desktop): pointer-event drag for touch/pen + keyboard reorder a11y
Laurent Guitton
committed
fix(desktop): require Shift for the keyboard tab-reorder shortcut
Laurent Guitton
committed