Improve tabbed pane: allow right aligned tabs, allow tab groups#1037
Merged
chalin merged 1 commit intogoogle:mainfrom Jul 13, 2022
Merged
Improve tabbed pane: allow right aligned tabs, allow tab groups#1037chalin merged 1 commit intogoogle:mainfrom
chalin merged 1 commit intogoogle:mainfrom