Skip to content

Improve selection and hover behavior of viewport's tabs#4424

Merged
emilk merged 1 commit intomainfrom antoine/better-tab-select-hoverDec 5, 2023

Commits

Commits on Dec 4, 2023