Skip to content

Add ARIA roles to tabs - lumino update#132

Merged
blink1073 merged 14 commits intojupyterlab:masterfrom
telamonian:aria-tabs-lumino-update
Mar 11, 2021
Merged

Add ARIA roles to tabs - lumino update#132
blink1073 merged 14 commits intojupyterlab:masterfrom
telamonian:aria-tabs-lumino-update

Commits

Commits on Nov 17, 2020