Ahora macOS también tiene cambio de nombre de pestañas. Esta fue una de las 20 solicitudes de función más votadas en Ghostty. GTK seguirá. Esto, junto con la reciente combinación de colores de pestañas, mejora drásticamente la historia de gestión de pestañas de Ghostty (aún queda mucho por hacer...).