Github user abellina commented on the issue:
https://github.com/apache/spark/pull/20574
@LantaoLin what if all the tabs were configured this way? E.g. there is a
default order/set of tabs, but one can move them around, or mix and match with
custom tabs.--- --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
