¿Qué es el widget con forma de bandera a la derecha del marcador del margen izquierdo (indicado con una flecha roja)? Sé que esto tiene algo que ver con la sangría y las pestañas, pero no parece ser un tabulador. Tal vez algo que ver con un líder de línea? Es difícil buscar ayuda con algo cuando ni siquiera estás seguro de cómo llamarlo.
