I suspect this comes from Soda.sublime-theme being derived from the default theme that shipped with build 2076, but there have been a few changes to the default theme in the dev builds since then, to fade the tab labels and do a few other things.
A summary of the changes:
tab_control
Changed the content margin, and added the max_margin_trim, which allows it to shrink the content margin when space is tight:
"content_margin": [20, 4, 20, 4],
"max_margin_trim": 4,
tab_label
Added the fade property, which will cause the labels to fade rather than elide:
"fade": true
tabset_control
This has been setup to assign the mouse_wheel_switch property based on the mouse_wheel_switches_tabs setting:
{
"class": "tabset_control",
...
"mouse_wheel_switch": false
}
{
"class": "tabset_control",
"settings": "mouse_wheel_switches_tabs"],
"mouse_wheel_switch": true
},
tab_close_button
Now uses unpadded_cross.png, and the content margin has changed from [8, 8] to [5, 8, 4, 8], i.e., it’s now 9px wide rather than 16px wide.
Also, tab close buttons are now hidden by default, and shown only if the show_tab_close_buttons setting is true. This is done via:
{
"class": "tab_close_button",
....
"content_margin": [0, 0]
}
{
"class": "tab_close_button",
"settings": "show_tab_close_buttons"],
"content_margin": [5, 8, 4, 8]
}