A patch to fix how tabs are displayed, starting that an active tab will have the exact size of TAB_HEADER_V_SIZE because that's what you expect when you define gui_tab_header_vsize in the theme file.
And also centralizes the text.
Thank you, incorporated in r7135.