Hm, looks like most* tabs already have tooltips. While they are not immediately available like a tab title would be, they do solve the problem with translations and different widths. I consider this sufficient for now, but we might want to reconsider in the future if we hear about players having problems with what the different tabs represent.
Hm, looks like most* tabs already have tooltips. While they are not immediately available like a tab title would be, they do solve the problem with translations and different widths. I consider this sufficient for now, but we might want to reconsider in the future if we hear about players having problems with what the different tabs represent.
* bug 936104