Simplemente puede arrastrar y soltar el borde de la barra de direcciones para alargarlo / acortarlo. (Solo si está en la misma fila que las pestañas, por supuesto). @Francisc
@Francisc: puede arrastrar el controlador entre la barra de direcciones en pestañas; si hace clic en la opción de la imagen de arriba, la barra de direcciones ocupará más ancho. Los dejo en la misma fila que me gusta la nueva altura, incluso trato de no usar una barra de marcadores ...
Jaja, probablemente no actualicé la página y solo vi su respuesta después de publicar la mía. Fue hace mucho tiempo, así que no recuerdo exactamente, pero no habría respondido si hubiera visto el suyo. :)