SIGN IN SIGN UP

Refresh checkpoint UI (#294282)

* Refresh checkpoint and restore checkpoint UI

Replace bookmark icon and dashed divider with fading gradient lines flanking
the checkpoint/restore labels. Add dot separator and undo button styling for
the restore-checkpoint row. Use disabledForeground for label text with
hover-to-reveal border treatment on toolbar actions.

* Show checkpoint UI only on hover/focus, adjust spacing and colors

* Add aria-hidden to dot separator for screen readers
D
David Dossett committed
bae06f0a066ac22ab288c094ef0bc01b6edaab27
Parent: f4d018f
Committed by GitHub <[email protected]> on 2/18/2026, 5:57:26 PM