(cherry picked from commit 6c56433997b3e0bb3a81a0dee8be145a240f37d4)
TabBar
min_width
max_tab_width
--lang
make_rst.py