Is this a mod?

[Chase]

I saw this on another forum. In the quick style changer, bottom left, there was this number next to the style title. I assumed that number was how many users were using that style.

So, is this a mod? I am interested in this and would like to know how they did this.

[deezelpope]

<a href="https://vborg.vbsupport.ru/showthread.php?t=95637" target="_blank">https://vborg.vbsupport.ru/showthread.php?t=95637</a>

[Chase]

Thank you. Do you know if this works with 3.6.7?

[deezelpope]

<i>Nope, no idea, sorry.</i>