Skip to content

Do not show tab headers marked as hidden#12570

Merged
rullzer merged 1 commit intomasterfrom
do-not-show-tab-headers-marked-as-hidden
Nov 21, 2018
Merged

Do not show tab headers marked as hidden#12570
rullzer merged 1 commit intomasterfrom
do-not-show-tab-headers-marked-as-hidden

Commits

Commits on Nov 21, 2018