Set a maximal width for the editor tabs in pixels.