Comment 1 for bug 355935

Revision history for this message
Marius Gedminas (mgedmin) wrote : Re: bold tabs are narrower than narrow tabs